# # Build # # generic components set build_components { core init drivers/timer server/mixer test/audio_out } # platform-specific components if {[have_spec linux]} { lappend build_components drivers/audio_out } else { lappend build_components drivers/pci lappend build_components drivers/acpi lappend build_components drivers/oss } build $build_components create_boot_directory # # Config # set config { } if {![have_spec linux]} { append config { } } else { append config { } } append config { sample.raw vogel.f32 } install_config $config # # Boot modules # # generic modules set boot_modules { core init timer test-audio_out sample.raw vogel.f32 mixer } # platform-specific components if {[have_spec linux]} { lappend boot_modules audio_out_drv } else { lappend boot_modules oss_drv lappend boot_modules acpi_drv lappend boot_modules pci_drv } build_boot_image $boot_modules append qemu_args "-m 256 -soundhw es1370 -nographic" run_genode_until forever