Linux是一个用C语言写成的开源电脑操作系统内核，有大量的操作系统是基于Linux内核创建的。以下操作系统使用的不是Linux内核的是( )。