Kernel

SOLID-OSではリアルタイムOSカーネルとしてTOPPERSプロジェクトによるオープンソース実装であるASP3カーネルを採用しています。