一般按照对外部事件的响应时间快慢，将嵌入式操作系统分成强实时型和普通实时型。以下均为强实时嵌入式操作系统的是( )。