From 9b01597d18a4f9034e9300635ea22e30523d3a4b Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Wed, 14 Apr 2021 16:21:29 +0200 Subject: [PATCH] Patch boot_fb_drv for a 60Hz refresh rate --- packages/genodelabs/depot-targets.nix | 2 +- packages/genodelabs/patches/boot_fb_drv.patch | 25 +++++++++++++++++++ 2 files changed, 26 insertions(+), 1 deletion(-) create mode 100644 packages/genodelabs/patches/boot_fb_drv.patch diff --git a/packages/genodelabs/depot-targets.nix b/packages/genodelabs/depot-targets.nix index ab26814..93ee9bc 100644 --- a/packages/genodelabs/depot-targets.nix +++ b/packages/genodelabs/depot-targets.nix @@ -30,7 +30,7 @@ in { binutils_x86 = { }; block_cache = { }; block_tester = { }; - boot_fb_drv = { }; + boot_fb_drv.patches = [ ./patches/boot_fb_drv.patch ]; bsd_audio_drv.portInputs = with ports; [ dde_bsd ]; cached_fs_rom.patches = [ ./patches/cached_fs_rom.patch ]; chroot = { }; diff --git a/packages/genodelabs/patches/boot_fb_drv.patch b/packages/genodelabs/patches/boot_fb_drv.patch new file mode 100644 index 0000000..a4e8e7d --- /dev/null +++ b/packages/genodelabs/patches/boot_fb_drv.patch @@ -0,0 +1,25 @@ +From ec1d5d65c83d0b04082913fce9f2ecde05b6dde3 Mon Sep 17 00:00:00 2001 +From: Emery Hemingway +Date: Wed, 14 Apr 2021 16:17:37 +0200 +Subject: [PATCH] boot_fb_drv: fix refresh rate at 60Hz + +--- + repos/os/src/drivers/framebuffer/boot/main.cc | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/repos/os/src/drivers/framebuffer/boot/main.cc b/repos/os/src/drivers/framebuffer/boot/main.cc +index 4551ba1e98..9b8e1c559c 100644 +--- a/repos/os/src/drivers/framebuffer/boot/main.cc ++++ b/repos/os/src/drivers/framebuffer/boot/main.cc +@@ -107,7 +107,7 @@ struct Framebuffer::Main + log("using boot framebuffer: ", _info); + + _timer.sigh(_timer_handler); +- _timer.trigger_periodic(10*1000); ++ _timer.trigger_periodic((1000*1000)/60); + } + }; + +-- +2.31.0 +