if {![have_spec x86] || [have_spec linux]} { puts "Platform is unsupported." exit 0 } build { app/driver_manager test/driver_manager lib/ld } create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/drivers_managed-pc \ [depot_user]/src/report_rom \ [depot_user]/src/dynamic_rom \ [depot_user]/src/nitpicker \ [depot_user]/src/init install_config { } set fd [open [run_dir]/genode/fb_drv.config "w"] puts $fd { } close $fd set fd [open [run_dir]/genode/usb_policy "w"] puts $fd {} close $fd copy_file [genode_dir]/repos/gems/sculpt/drivers/pc \ [run_dir]/genode/drivers.config build_boot_image [build_artifacts] # # Build ext2 file-system images to be supplied to Qemu # if {[have_include "power_on/qemu"]} { set mke2fs [installed_command mke2fs] set dd [installed_command dd] catch { exec $dd if=/dev/zero of=bin/hdd_disk.raw bs=1M count=32 } catch { exec $mke2fs -F bin/hdd_disk.raw } } # # Qemu opts for supplying hdd_disk.raw as AHCI disk # append qemu_args " -nographic " append qemu_args " -device ahci,id=ahci " append qemu_args " -drive id=hdd,file=bin/hdd_disk.raw,format=raw,if=none -device ide-hd,drive=hdd,bus=ahci.1 " run_genode_until {.*all expected devices present and accessible.*\n} 120