# # Build # if {[expr [have_spec linux]] || [expr [have_spec imx53] && [have_spec trustzone]] || [have_spec rpi3] || [expr [have_spec riscv]]} { puts "\n Run script is not supported on this platform. \n"; exit 0 } create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_nic_pkg] \ [depot_user]/src/init \ [depot_user]/src/libc \ [depot_user]/src/vfs_lwip \ [depot_user]/src/vfs build { app/eth_udp } install_config { } build_boot_image { eth_udp } # # Qemu config # proc qemu_nic_model {} { if [have_spec x86] { return e1000 } if [have_spec lan9118] { return lan9118 } if [have_spec zynq] { return cadence_gem } return nic_model_missing } append qemu_args " -nographic " append qemu_args " -net nic,model=[qemu_nic_model],netdev=net0 " run_genode_until forever # vi: set ft=tcl :