Here's gcc for it: https://github.com/myri/lanai-gcc
Sounds like it's not particularly interesting unless you want to write your own network offload code.
Edit: Probably just the offload processor they are choosing for their in-house routers/switches/servers. And, probably they want their own firmware either for security/nsa reasons, or performance, or both.