[9fans] port to IXP425?

[Gabriel Diaz]

Hello

is there a port of inferno or plan9 to this thing? are the arm
compilers able to generate code for it?

thank you very much

gabi
PS: http://www.intel.com/design/network/products/npfamily/ixp425.htm