はるさんのコメントのやつだと思います。 しかもプチコン3号でOSを動かしているのは、今のところこれしか知らないです。