(The gokrazy and u-root people all work at Google, I just contacted them to see if we can help each other. Not a competing project.)
Nerves is based on a Buildroot core but most of the system is built with Elixir and BEAM/OTP. It's fantastic having a high level language built for robustness and reasonable security. Still, I have dreams of porting BEAM to Redox OS one day [2] and replacing the C userland-bits with Rust-bits. Especially if you could represent the micro-kernel services as actors. That would be amazing!
1: https://nerves-project.org/ 2: https://github.com/redox-os/redox
Google has created a stack called NERF (Non-Extensible Reduced Firmware) for this:
https://firmwaresecurity.com/2017/07/23/google-nerf-non-exte...
There's a presentation about it on youtube:
gokrazy generates strong passwords by default and listens only on private IP addresses by default to reduce the attack surface.
There are a few Basic, Pascal, Oberon and Java (not Android related) options available, but only a minority cares for them.
Still, big enough to keep those vendors doing business.
Having a minimal bare metal runtime for Go would also be nice, but it is a gigantic effort to make it portable across all types of hardware.