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

図2　「PikeOS」の構成［クリックで拡大］ 出所：SYSGO