按照内核结构，可将嵌入式操作系统分为单内核操作系统与微内核操作系统，下列不属于微内核操作系统的是( )。