https://www.f-secure.com/en/consulting/foundry/usb-armory
As does Google,
https://github.com/google/gvisor
https://github.com/google/gapid
Naturally if one is talking about specific uses cases like IoT with a couple of KBs, MISRA-C, or UNIX kernels, then yes Go is not a competitor.
