gccは第三者検証を通せる.しかし壁がある.

JAXAのH2Bロケットに搭載されたTOPPERS/HRPカーネルでの開発環境構築を基にした,高信頼環境におけるgccの能力と,立ちはだかる壁のお話.
41
もなか @monamour555

ダメなものはダメという.善きものは善きという. #基本

2013-05-07 11:06:47