填空题   美国风河公司推出的实时性最强、可靠性最高的嵌入式实时操作系统名为______。在该操作系统中，所有与特定电路板上硬件相关的功能都集成在一个库中，该库的名称为______。