OS类型众多，下列说法中正确的是（）。

A.智能卡OS是采用的单道程序设计技术
B.TinyOS和eCos都是微机OS
C.嵌入式、传感器节点OS都是要求实时的
D.Linux既可用作服务器OS、微机OS，也用作嵌入式OS