target_os = "solid_asp3"
std::collections::{HashMap, HashSet}
$$Sub$$
$$Super$$
__attribute__((at( ADDRESS )))
SOLID-OSではリアルタイムOSカーネルとしてTOPPERSプロジェクトによるオープンソース実装であるASP3カーネル(シングルコア)、FMPカーネルおよびFMP3カーネル(マルチコア)を採用しています。