昨日のGreen Hills Softwareの製品を見ていたらプロテクションプロファイルに Separation Kernel Protection Profile (SKPP)を使用しているようだ。 Green Hills Software's INTEGRITY-178B Operating System Achieves Major Milestone in Most Stringent OS…