seL4 Developers/SMEs:

Does anyone have a seL4 load/configuration that includes more than 2 partitions with at least 2 of the partitions each having a dedicated Ethernet interface assigned to it?

I am focused on an x86 host platform.  Currently I have a Dell 7910 19" rack unit I am wanting to host on and it has 4 Ethernet ports.

Thanks,

Jim Marek
Enterprise Architect Rockwell Collins