Historically, we have seen full blown Operating Systems bieng implemented in Oberon and Limbo.

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?