Re:割り込みがこない

id:shotaro_tsuji:20070101:1167635520

コードを見てみましたが、割り込みコントローラで9番がマスクされているのが原因かも。

monapi_set_irq(irq, MONAPI_TRUE, MONAPI_TRUE);

を使ってみてください。→id:shotaro_tsuji

仕様例は mona/以下で

find -name ".cpp" |xargs grep 'monapi_set_irq'

で見つかると思います。