操作系统程序主要使用以下几种编程语言编写：

C语言：

C语言因其高效性、灵活性、可移植性和底层编程能力，成为操作系统开发中最常用的编程语言。许多操作系统的内核、驱动程序和底层库都是用C语言编写的。

汇编语言：

汇编语言是一种低级别的编程语言，通常用于编写操作系统的底层代码，如启动代码、中断处理程序和驱动程序等，以便更好地控制硬件资源。

C++语言：

C++是C语言的扩展，具有面向对象的特性，适用于开发复杂的操作系统模块和系统级应用程序。

Java语言：

Java是一种跨平台的编程语言，虽然它主要用于网络和分布式系统等方面，但也有部分操作系统代码或应用程序使用Java编写。

Rust语言：

Rust是一种相对较新的系统编程语言，注重内存安全和并发性能，具有简洁的语法和高效的内存管理机制，适用于编写系统级程序。

Go语言：

Go语言具有简单、高效和并发的特性，虽然它主要用于其他领域，但也有用于操作系统开发的案例。

综上所述，C语言是操作系统开发中最常用的编程语言，而汇编语言、C++、Java、Rust和Go等语言也在不同程度上用于操作系统的开发。选择哪种编程语言取决于具体的需求和场景。