diff --git a/run/hotkey.run b/run/hotkey.run deleted file mode 100644 index 3984e8d..0000000 --- a/run/hotkey.run +++ /dev/null @@ -1,168 +0,0 @@ -create_boot_directory - -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/motif_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