create_boot_directory import_from_depot [depot_user]/pkg/[drivers_interactive_pkg] \ [depot_user]/pkg/themed_wm \ [depot_user]/raw/qt5_dejavusans \ [depot_user]/src/[base_src] \ [depot_user]/src/expat \ [depot_user]/src/global_keys_handler \ [depot_user]/src/init \ [depot_user]/src/libdrm \ [depot_user]/src/libc \ [depot_user]/src/mesa \ [depot_user]/src/nitpicker \ [depot_user]/src/qt5_base \ [depot_user]/src/report_rom \ [depot_user]/src/rom_filter \ [depot_user]/src/stdcxx \ [depot_user]/src/vfs \ [depot_user]/src/vfs_gpu \ [depot_user]/src/vfs_pipe \ # # Configuration # proc qt5_layouter_config { } { return { } } proc qt5_decorator_binary { } { return "decorator" } proc qt5_decorator_config { } { return { } } proc qt5_parent_provides { } { set parent_provides { } append parent_provides { } return $parent_provides } # # Keyboard layout - this function can be overridden in a run script # proc language_chargen { } { return "en_us" } exec cp -f [genode_dir]/repos/os/src/server/event_filter/[language_chargen].chargen bin/ exec cp -f [genode_dir]/repos/os/src/server/event_filter/special.chargen bin/ set qt5_event_filter_config { } append qt5_event_filter_config " " append qt5_event_filter_config { } set fd [open bin/qt5_event_filter.config w] puts $fd $qt5_event_filter_config close $fd proc qt5_start_nodes { } { set start_nodes { } append start_nodes { } [qt5_layouter_config] { } [qt5_decorator_config] { } return $start_nodes } proc qt5_boot_modules { } { set boot_modules { } lappend boot_modules [language_chargen].chargen lappend boot_modules special.chargen lappend boot_modules qt5_event_filter.config }