On Fri, 24 Aug 2018, Toke Høiland-Jørgensen wrote:

> Are there actually any 10GE embedded platforms one can buy? I've been 
> thinking about how to upgrade my home network without putting x86 boxes 
> everywhere...

https://www.solid-run.com/marvell-armada-family/macchiatobin/

I know people currently working on XDP-enabling the drivers for that 
board (Marvell 8040).

-- 
Mikael Abrahamsson    email: swmike@swm.pp.se