むかしむかしLinuxが普及し始めたころに、B-freeってオープンソースのBTRONをつくろうとしてた人らが居たんですけど、結局はなにも成果物が出てきませんでしたね。最下層のマイクロカーネルになるITRONですら。ITRONに関しては豊橋技術科学大学でTOPPERSてのが実装されてITRONのデファクトスタンダードになってますが。