mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
b5c780993c
Instead of having a generic "virt_qemu" board use "virt_qemu_<arch>" in order to have a clean distinction between boards. Current supported boards are "virt_qemu_arm_v7a", "virt_qemu_arm_v8a", and "virt_qemu_riscv". issue #4034
56 lines
1.4 KiB
Plaintext
56 lines
1.4 KiB
Plaintext
create_boot_directory
|
|
|
|
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
|
puts "Autopilot mode is not supported on this platform."
|
|
exit 0
|
|
}
|
|
|
|
import_from_depot [depot_user]/src/[base_src] \
|
|
[depot_user]/src/init
|
|
|
|
install_config {
|
|
<config>
|
|
<parent-provides>
|
|
<service name="CPU"/>
|
|
<service name="LOG"/>
|
|
<service name="PD"/>
|
|
<service name="ROM"/>
|
|
</parent-provides>
|
|
|
|
<default-route> <any-service> <parent/> </any-service> </default-route>
|
|
|
|
<start name="extract" caps="200">
|
|
<resource name="RAM" quantum="12M"/>
|
|
<config verbose="yes">
|
|
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/null"
|
|
update_mtime="no"/>
|
|
<vfs>
|
|
<dir name="archived">
|
|
<rom name="test.tar.xz"/>
|
|
<rom name="LICENSE.xz"/>
|
|
</dir>
|
|
<dir name="extracted"> <ram/> </dir>
|
|
<dir name="dev"> <log/> <null/> </dir>
|
|
</vfs>
|
|
<extract archive="/archived/test.tar.xz" to="/extracted"/>
|
|
<extract archive="/archived/LICENSE.xz" to="/extracted" name="LICENSE"/>
|
|
</config>
|
|
</start>
|
|
</config>
|
|
}
|
|
|
|
exec tar cJf [run_dir]/genode/test.tar.xz -C [genode_dir] tool/depot
|
|
exec xz < [genode_dir]/LICENSE > [run_dir]/genode/LICENSE.xz
|
|
|
|
build { app/extract }
|
|
|
|
build_boot_image {
|
|
extract
|
|
libc.lib.so vfs.lib.so
|
|
libarchive.lib.so liblzma.lib.so zlib.lib.so
|
|
}
|
|
|
|
append qemu_args " -nographic "
|
|
|
|
run_genode_until {child "extract" exited with exit value 0} 30
|