assert_spec x86_64 set use_net 0 set use_overlay 0 set use_serial 1 set use_top 0 create_boot_directory set depot_archives { } lappend depot_archives [depot_user]/pkg/[drivers_interactive_pkg] lappend depot_archives [depot_user]/pkg/themed_wm lappend depot_archives [depot_user]/src/[base_src] lappend depot_archives [depot_user]/src/clipboard lappend depot_archives [depot_user]/src/init lappend depot_archives [depot_user]/src/jpeg lappend depot_archives [depot_user]/src/libc lappend depot_archives [depot_user]/src/nitpicker lappend depot_archives [depot_user]/src/report_rom lappend depot_archives [depot_user]/src/vfs_import lappend depot_archives [depot_user]/src/vfs_pipe lappend depot_archives [depot_user]/src/vfs_oss lappend depot_archives [depot_user]/src/mesa lappend depot_archives [depot_user]/src/expat lappend depot_archives [depot_user]/src/libdrm lappend depot_archives [depot_user]/src/libyuv lappend depot_archives [depot_user]/src/vfs_gpu lappend_if [expr $use_net] depot_archives [depot_user]/src/ipxe_nic_drv lappend_if [expr $use_net] depot_archives [depot_user]/src/nic_router import_from_depot $depot_archives set build_components { virtualbox6 } lappend_if [expr $use_top] build_components app/top lappend_if [expr $use_serial] build_components server/log_terminal lappend_if [have_spec x86] build_components drivers/rtc lappend build_components drivers/audio build $build_components set config { } append_if [expr $use_top] config { } append config { } append_if [expr $use_top] config { } append config { } append_if [expr $use_net] config { } append_if [expr $use_serial] config { } append config { } append_if [expr $use_serial] config { } append config { } append_if [expr $use_overlay] config { } append config { } install_config $config copy_file [genode_dir]/repos/ports/run/virtualbox6.vbox bin/ # # Instruct vesa_drv to use maximum resolution # set fd [open bin/fb_drv.config w] puts $fd {} close $fd # # Pin the nitpicker focus to the window manager by providing a static focus ROM # set fd [open [run_dir]/genode/focus w] puts $fd " focus\"/>" close $fd set boot_modules { rtc_drv virtualbox6 libc.lib.so vfs.lib.so libm.lib.so libiconv.lib.so stdcxx.lib.so qemu-usb.lib.so virtualbox6-shaderlib.lib.so fb_drv.config test.iso virtualbox6.vbox } # platform-specific modules lappend_if [expr $use_top] boot_modules top append_if [expr $use_net] boot_modules { ipxe_nic_drv } append_if [expr $use_net] boot_modules { nic_router } append_if [expr $use_serial] boot_modules { log_terminal } append_if [expr $use_overlay] boot_modules { overlay.vdi } lappend boot_modules pci_audio_drv build_boot_image $boot_modules append qemu_args " -m 3500 -cpu EPYC " run_genode_until forever