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