欧州の航空宇宙分野で名を馳せるRTOS「PikeOS」の出自はL4 Kernelにあり

図3　XilinxのSoC FPGAなどのヘテロジニアス構成のプロセッサで「PikeOS」と「PikeOS for MPU」を組み込むイメージ［クリックで拡大］ 出所：SYSGO