genodepkgs/tests/solo5/net_2if.dhall

let Genode = env:DHALL_GENODE

in    λ ( _
        : {}
        )
    → { nic =
          Genode.Init.Start::{ binary = "nic_loopback", provides = [ "Nic" ] }
      , bridge =
          Genode.Init.Start::{
          , binary = "nic_bridge"
          , resources = { caps = 200, ram = Genode.units.MiB 8 }
          , provides = [ "Nic" ]
          , routes = [ Genode.ServiceRoute.child "Nic" "nic" ]
          , config =
              Genode.Prelude.XML.text
                ''
                <config mac="02:02:02:02:03:00" verbose="no">
                	<policy label="solo5 -> service0" ip_addr="10.0.0.2"/>
                	<policy label="solo5 -> service1" ip_addr="10.1.0.2"/>
                	<default-policy/>
                </config>
                ''
          }
      , solo5 =
          Genode.Init.Start::{
          , binary = "test"
          , resources = { caps = 256, ram = Genode.units.MiB 4 }
          , routes =
              [ Genode.ServiceRoute.parent "Timer"
              , Genode.ServiceRoute.child "Nic" "bridge"
              ]
          , config =
              Genode.Prelude.XML.text
                ''
                <config><cmdline>limit</cmdline></config>
                ''
          }
      , clients =
          Genode.Init.Start::{
          , binary = "sequence"
          , resources = { caps = 256, ram = Genode.units.MiB 8 }
          , routes =
              [ Genode.ServiceRoute.parent "Timer"
              , Genode.ServiceRoute.child "Nic" "bridge"
              ]
          , config =
              Genode.Prelude.XML.text
                ''
                <config>
                  <start name="ping0">
                    <binary name="ping"/>
                    <config interface="10.0.0.72/24" dst_ip="10.0.0.2" period_sec="1" count="4"/>
                  </start>
                  <start name="ping1">
                    <binary name="ping"/>
                    <config interface="10.1.0.72/24" dst_ip="10.1.0.2" period_sec="1" count="4"/>
                  </start>
                </config>
                ''
          }
      }