assert_spec x86 proc use_dynamic_rom { } { return false } set build_components { core init drivers/timer drivers/nic server/vfs lib/vfs/lwip lib/vfs/audit } lappend_if [use_dynamic_rom] build_components server/dynamic_rom source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components append config { } append_platform_drv_config append config { } append boot_modules { core init timer } [nic_drv_binary] { ld.lib.so libc.lib.so vfs vfs_audit.lib.so vfs.lib.so vfs_lwip.lib.so } lappend_if [use_dynamic_rom] boot_modules dynamic_rom append_platform_drv_boot_modules append qemu_args " -nographic -net nic,model=e1000 -net tap,ifname=tap0,downscript=no,script=no " # vi: set ft=tcl :