create_boot_directory
# the test currently is tied to the x86-only iPXE NIC driver
if {![have_spec x86] || [have_spec linux]} {
puts "Run script does not support this platform."
exit 0
}
import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/report_rom \
[depot_user]/src/fs_rom \
[depot_user]/src/vfs \
[depot_user]/src/vfs_lxip \
[depot_user]/src/fetchurl \
[depot_user]/src/libc \
[depot_user]/src/libssh \
[depot_user]/src/libssl \
[depot_user]/src/libcrypto \
[depot_user]/src/zlib \
[depot_user]/src/curl \
[depot_user]/src/init \
[depot_user]/src/chroot \
[depot_user]/src/acpi_drv \
[depot_user]/src/ipxe_nic_drv \
[depot_user]/src/platform_drv \
[depot_user]/src/extract \
[depot_user]/src/libarchive \
[depot_user]/src/liblzma \
[depot_user]/src/verify
source ${genode_dir}/repos/base/run/platform_drv.inc
set config {
}
append_platform_drv_config
proc depot_user_download { } {
return [exec cat [genode_dir]/depot/[depot_user]/download] }
proc depot_user_pubkey { } {
return [exec cat [genode_dir]/depot/[depot_user]/pubkey] }
append config {
} [depot_user_download] {
} [depot_user_pubkey] {
}
set fd [open [run_dir]/genode/installation w]
puts $fd "
"
close $fd
install_config $config
file copy -force [genode_dir]/repos/gems/recipes/raw/depot_download/depot_download.config \
[run_dir]/genode/depot_download.config
build { app/depot_download_manager app/depot_query }
append boot_modules { depot_download_manager depot_query }
build_boot_image $boot_modules
append qemu_args " -nographic -net nic,model=e1000 -net user "
run_genode_until {.*\[init -> depot_download -> manager\] installation complete.*\n} 150