diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run index c7e18d5f69..bf3442dda2 100644 --- a/repos/os/run/ping_nic_router.run +++ b/repos/os/run/ping_nic_router.run @@ -10,6 +10,7 @@ set build_components { drivers/timer drivers/nic server/nic_router + server/nic_bridge app/ping } @@ -181,16 +182,28 @@ append config { + + + + + + + + + + + + + + - - + @@ -220,7 +233,7 @@ append_if $on_hardware config { dst_ip="} [good_dst_ip] {" dst_port="} [bad_dst_port] {"/> - + } @@ -242,6 +255,7 @@ append boot_modules { ping ld.lib.so nic_router + nic_bridge } # platform-specific modules