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/raw/genode_bg \ genodelabs/pkg/backdrop \ genodelabs/src/demo \ genodelabs/src/init \ genodelabs/src/nitpicker \ genodelabs/src/nit_fb install_config { } build_boot_image { } append qemu_args " -m 256 " run_genode_until forever