Inferno is based on plan 9 (shares kernel code)with a user space that fully runs in the VM. However, it can run on very small systems like microcontrollers and someone is currently actively exploring this: https://dboddie.gitlab.io/inferno-diary/index.html