操作系统程序通常可以使用以下几种编程语言来编写：
C语言：
C语言因其接近硬件的特性、高效性和灵活性而成为编写操作系统的首选语言。操作系统需要频繁地与硬件交互，例如管理内存、处理中断和控制I/O设备等，C语言提供了足够的灵活性来实现这些底层操作。例如，Linux和Windows系统的内核部分主要使用C语言编写。
C++语言：
C++是C语言的扩展，支持面向对象编程。许多操作系统使用C++来编写部分或全部代码，以便更好地组织和管理复杂的系统结构。例如，Windows系统的用户界面部分使用C++实现。
汇编语言：
汇编语言是一种低级语言，用于直接控制计算机硬件。操作系统的引导程序、中断处理程序和驱动程序等核心组件通常需要使用汇编语言编写，以获得对硬件的直接控制。例如，Linux内核的启动代码部分使用汇编语言编写。
Rust语言：
Rust是一种相对较新的系统编程语言，具有内存安全和并发性能优势。它的语法简单易懂，并提供高效的内存管理机制，从而减少了一些常见的安全漏洞和错误。一些新兴的操作系统项目开始使用Rust编写关键代码，以提高系统的安全性和稳定性。
Go语言：
Go语言是一种现代化的编程语言，具有简单、高效和并发的特性。它的垃圾回收机制和轻量级线程（goroutine）模型使得开发操作系统变得更加容易和高效。一些操作系统项目开始使用Go语言编写辅助工具和脚本。
总结来说，操作系统程序可以使用多种编程语言来编写，具体选择哪种语言取决于开发人员的偏好、项目需求和目标平台。C语言和C++因其高效性和底层编程能力而广泛应用于操作系统的开发，而汇编语言则用于对硬件的直接控制。Rust和Go等新兴语言也在操作系统开发中逐渐获得关注和应用。