Schemeでカーネル?

またまたdev-jで盛り上がった。
通常カーネルはC言語+アセンブラで書くのが一般的なんですが。
MonaはC++で書いています。

更にこれをすすめてScheme（インラインアセンブラやC関数のcallとかの拡張)+少量のアセンブラでカーネルかけそうだよねみたいな。
C++で書くよりも環境や拡張を整えるのがとても大変そうだけど、それを乗り越えたら幸せなんじゃね?という意見があった。
ここでいう環境や拡張ってのはレジスタアクセスやら割り込み処理やらあれこれです。

Schemeの達人でかつカーネル書いたことある人にしか分からない領域なので結論は出なかった。