# # Build # # generic components set build_components { core init drivers/timer drivers/audio server/mixer server/dynamic_rom server/report_rom test/audio_out } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory # # Config # set config { } append_platform_drv_config append config { client1.f32 client2.f32 } install_config $config if {[expr ![file exists bin/client1.f32] || ![file exists bin/client2.f32]]} { puts "" puts "The sample files are missing. Please take a look at repos/dde_bsd/README" puts "and create 'client1.f32' and 'client2.f32'. Afterwards put them into './bin'." puts "" exit 1 } # # Boot modules # # generic modules set boot_modules { core ld.lib.so init timer report_rom dynamic_rom audio_drv test-audio_out mixer client1.f32 client2.f32 } # platform-specific components append_platform_drv_boot_modules build_boot_image $boot_modules append qemu_args "-m 256 -soundhw es1370 -nographic" run_genode_until forever