写操作系统只能用C语言和汇编语言吗

刚刚在学习MFC的时候感到很多编程都是基于系统的，用了系统的API，那么一开始的操作系统如何编写出来的呢。

第一个操作系统一定是用机器语言或者汇编语言直接编写的。之后就写编译器，有了编译器之后就能用高级语言写操作系统，之后编译为机器代码——能和硬件直接交互。所以，写操作系统应该用什么语言，看到了一篇文章。

原文地址  知乎

理论上说，大部分语言都可以用来写操作系统内核。
但是为什么大部分操作系统内核都只用C语言来写？因为目前所有的语言的开发环境里，C语言能做到编译成不依赖操作系统的形式二进制代码，C语言的各种脱离系统的库最丰富，最完整，C语言用来开发操作系统的工具最多。
举个例子：
如果内核中希望使用printf这个函数，那么内核就必须自己实现printf，而不是依赖标准库，因为标准库是要依赖操作系统来完成真正的printf操作。而这种库，C语言版本的最容易找到，其它语言要么没有，要么很难用。
题主有兴趣可以看Linux源码、网上泄露的Windows源码、ReactOS源码、以及各种嵌入式平台的源码（uC/OS，ThreadX，VxWorks等），这些源码的一个特点就是它们自身都实现了大部分标准库的函数。
所以语言本身是什么不重要，重要的是语言运行所依赖的东西。
如果有人使用Pascal实现了Pascal标准库里的大部分功能，并且都不依赖于操作系统，那么用这个环境就可以用来开发Pascal写的操作系统。
有人会说解释型的语言肯定不合适，但是，实际上如果有人能移植一套不依赖操作系统的Java虚拟机，那么虚拟机之上完全可以开发一套以Java语言开发的操作系统。解释型的语言难点在于解释器，但如果解释器不依赖操作系统，那么语言本身也可以做到不依赖。
回到问题，编程语言只是工具，不同语言之间确实在做事情上有差异，但如果付出一些代价（成本），那么工具的限制因素就会降低。
用机床可以做零件，但用斧头、锤子、电钻、刀具就不能做了吗？只不过很麻烦而已。
商用操作系统用C语言开发是因为工具齐全开发成本低，仅此而已。