Microkernels

Go has a Microkernel implementation called NanOS. This lets you push AMIs which run straight on AWS EC2 instances. book

Ocaml (ocammel) might be the original example of deploying a Microkernel. site