Historically, we have seen full blown Operating Systems bieng implemented in Oberon and Limbo.<p>Also referring to this link http://devcry.heiho.net/2012/07/golang-mach-programming-model-in-go.html?m=0
Is it possible to write a good microkernel in Go?