[질문] 현재 운영체제 제작이 가능한 언어는?

무슨 언어든 한 언어만 가지고 좋은 운영체제 전체를 만들 수는 없습니다.
현대 운영체제는 극도로 복잡해지고 있기 때문에, 각 언어의 용도에 맞는 여러 프로그램들의 조화로 이루어집니다.

예를 들어, i386 기반의 PC 구조에서는 첫번째 부트섹터의 용량이 512바이트로 제한이 되어있는데, 이 용량은 대부분의 현대고급언어로는 독립 바이너리가 나오기 힘든 크기이기때문에, C나 어셈블리 같이 런타임 서포트가 별로 필요없는 기계에 가까운 언어를 쓸 수 밖에 없습니다. 또한, 표준 C 라이브러리는, C언어 자체 스펙만 가지고 구현할 수 없는 기능을 라이브러리를 통해서 제공해 줘야 하기때문에, 어셈블리로 구현되어야 하고, 부팅 스크립트를 C언어나 어셈블리로 짜는 것은 도무지 유지보수가 불가능하기 때문에 당연히 스크립트 언어를 써야합니다.

세상은 순수하게만 살기에는 생각보다 복잡한 곳입니다. "나는 X 언어를 좋아하니 무슨 수가 있어도 X 언어만 가지고 운영체제를 만들고야 말겠어!" 같은 투지도 나름대로 필요하긴 하지만, 실세계에서는 그런 것 보다는 좀 더 실용적인 것을 하는게 더 도움이 됩니다.