set use_net 0 set build_components { core init virtualbox drivers/input drivers/framebuffer drivers/timer } lappend_if [have_spec acpi] build_components drivers/acpi lappend_if [have_spec pci] build_components drivers/pci lappend_if [have_spec x86] build_components drivers/rtc lappend_if [expr $use_net] build_components drivers/nic build $build_components create_boot_directory set config { } append_if [have_spec acpi] config { } append_if [expr ![have_spec acpi] && [have_spec pci]] config { } append_if [have_spec ps2] config { } append_if [have_spec framebuffer] config { } append_if [have_spec sdl] config { } append_if [have_spec x86] config { } append_if [expr $use_net] config { } append config { } append_if [expr $use_net] config { } append config { } install_config $config set boot_modules { core init timer virtualbox test.iso } # platform-specific modules lappend_if [have_spec ps2] boot_modules ps2_drv lappend_if [have_spec acpi] boot_modules acpi_drv lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec framebuffer] boot_modules fb_drv lappend_if [have_spec linux] boot_modules fb_sdl lappend_if [have_spec nova] boot_modules pci_device_pd lappend_if [have_spec x86] boot_modules rtc_drv append boot_modules { ld.lib.so libc.lib.so libm.lib.so pthread.lib.so libc_lock_pipe.lib.so libc_terminal.lib.so libiconv.lib.so } append_if [expr $use_net] boot_modules { nic_drv } build_boot_image $boot_modules append qemu_args " -m 512 " append qemu_args " -cpu phenom " run_genode_until forever