# # Build # set build_components { core init drivers/timer drivers/usb test/input } lappend_if [have_spec acpi] build_components drivers/acpi lappend_if [have_spec pci] build_components drivers/pci lappend_if [have_spec pci] build_components drivers/pci/device_pd lappend_if [have_spec platform_arndale] build_components drivers/platform build $build_components create_boot_directory # # Generate config # append config { } append_if [have_spec platform_arndale] config { } append_if [have_spec acpi] config { } append_if [expr ![have_spec acpi] && [have_spec pci]] config { } append config { } install_config $config # # Boot modules # # generic modules set boot_modules { core init timer usb_drv test-input } lappend_if [have_spec acpi] boot_modules acpi_drv lappend_if [have_spec pci] boot_modules pci_drv lappend_if [have_spec nova] boot_modules pci_device_pd lappend_if [have_spec platform_arndale] boot_modules platform_drv build_boot_image $boot_modules append qemu_args " -m 256 -usb -usbdevice mouse -usbdevice keyboard" run_genode_until forever