create_boot_directory # # To use the themed decorator instead of the default one, replace 'pkg/wm' # with 'pkg/themed_wm'. # import_from_depot genodelabs/src/[base_src] \ genodelabs/pkg/[drivers_interactive_pkg] \ genodelabs/pkg/wm \ genodelabs/src/init \ genodelabs/src/nitpicker \ genodelabs/src/ram_fs \ genodelabs/src/fs_rom \ install_config { } build { app/hotkey_edit app/xml_editor test/nitpicker init } build_boot_image { init hotkey_edit testnit xml_editor libc.lib.so vfs.lib.so } run_genode_until forever