A Kernel of the Ghost Bird OS.