マイクロカーネルLavenderの開発