2018-03-23 15:41:05 +00:00
|
|
|
set use_nvme 0
|
|
|
|
|
|
2018-02-26 14:02:44 +00:00
|
|
|
source ${genode_dir}/repos/gems/run/sculpt.run
|
|
|
|
|
|
|
|
|
|
# enable Qemu networking, usable via the nic_drv
|
2020-04-02 19:20:50 +00:00
|
|
|
append_qemu_nic_args
|
|
|
|
|
append qemu_args " -m 768 "
|
2018-02-26 14:02:44 +00:00
|
|
|
|
|
|
|
|
# attach small SATA disk to Qemu to experiment with file-system access
|
|
|
|
|
set disk_image "bin/sculpt-ahci.raw"
|
|
|
|
|
if {![file exists bin/sculpt-ahci.raw]} {
|
|
|
|
|
puts stderr "creating toy disk image $disk_image for use in Qemu"
|
|
|
|
|
catch { exec dd if=/dev/zero of=$disk_image bs=1M count=512 }
|
|
|
|
|
}
|
|
|
|
|
append qemu_args " -device ahci,id=ahci "
|
2018-04-27 14:16:31 +00:00
|
|
|
append qemu_args " -drive id=hdd,file=$disk_image,format=raw,if=none -device ide-hd,drive=hdd,bus=ahci.1 "
|
2018-02-26 14:02:44 +00:00
|
|
|
|
2018-03-23 15:41:05 +00:00
|
|
|
# attach small NVMe disk to Qemu to experiment with file-system access
|
|
|
|
|
if {$use_nvme} {
|
|
|
|
|
set disk_image "bin/sculpt-nvme.raw"
|
|
|
|
|
if {![file exists bin/sculpt-nvme.raw]} {
|
|
|
|
|
puts stderr "creating toy disk image $disk_image for use in Qemu"
|
|
|
|
|
catch { exec dd if=/dev/zero of=$disk_image bs=1M count=512 }
|
|
|
|
|
}
|
|
|
|
|
append qemu_args " -drive id=nvme0,file=$disk_image,format=raw,if=none "
|
|
|
|
|
append qemu_args " -device nvme,drive=nvme0,serial=NVMe_666,id=nvme0n1 "
|
|
|
|
|
}
|
|
|
|
|
|
2018-02-26 14:02:44 +00:00
|
|
|
run_genode_until forever
|
