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