もなか @monamour555 JAXAが上げたH2Bロケットに搭載されたTOPPERS/HRPカーネル,下層には Safetyカーネルっていう一種のブートローダが入っているのですけれど,あれの仕様策定と実装,実は私一人でやりました. …って言ってもいいくらい昔のことだということに気づいた.機密保持5年なので. もなか @monamour555 HRPカーネルのほうは,高田先生が主導です.ただ,吾妻橋までお越しいただいて,もなみソフト(当時)の社内で仕様の詰めを行ったりはしました.「タスクがしくじったときに,なるべく助ける」というTOPPERS新世代カーネルの土台はそのときの検討が生きています. もなか @monamour555 一方,Safetyカーネルのほうは,完全にお任せだったのでした.とにかく,HRPカーネルが落ちた時に,ウォームブートができるように,できないときは事前に定めた順