diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run index 406de95a31..350d2cd322 100644 --- a/repos/gems/run/wm.run +++ b/repos/gems/run/wm.run @@ -53,9 +53,9 @@ install_config { - + - + @@ -71,7 +71,7 @@ install_config { - + @@ -81,19 +81,20 @@ install_config { - + - + - + - + - + @@ -140,7 +141,15 @@ install_config { } -build_boot_image { } +# +# Pin the nitpicker focus to the window manager by providing a static focus ROM +# +set fd [open [run_dir]/genode/focus w] +puts $fd " wm -> \"/>" +close $fd +build { server/nitpicker server/wm test/nitpicker } + +build_boot_image { nitpicker wm testnit } run_genode_until forever