gokrazy does use Linux kernel though.