Dear Genodians,
Last weekend I compiled Foc_x86_64 and tested it with the onboard ethernet cards of my server box.
It worked! It worked just as good as the Intel e1000 driver. (Meaning, after a short while, all throughput ceased. :-( But that is eiter Foc or Lightttpd)
The good news: this makes Genode a viable platform for many server platform that use the Marvel chipset.
Thanks!
Cheers, Guido.