Hacker News Reader

There are many.

There is Oberon:

http://ignorethecode.net/blog/2009/04/22/oberon/

That's a whole family of OSes, from tiny text-mode up to SMP, TCP/IP-capable GUI OSes, in the language that followed Modula-2 (which in turn was the successor to Pascal.)

There was TUNIS, a UNIX implemented in a Pascal derivative:

https://en.wikipedia.org/wiki/TUNIS

Here's a whole article on them I wrote last year:

https://www.theregister.com/2022/03/29/non_c_operating_syste...

https://www.redox-os.org/

There are many many small hobby OSes in all kinds of languages: https://wiki.osdev.org/Projects

Rust is definitely NOT a higher language than C and there are dozens of OSs like TockOS, R3 and OS-like frameworks (like embassy-rs and RTEMS-inspired RTIC) written in it in the embedded world and quite a few in nonembedded world (i.e. world where you have MMU not just MPU or less).

There are lot's of kernels written in higher level languages (including languages with a GC). Really, if you start searching for them then you will find several every day for weeks if not months.

Enjoy Mesa/Cedar,

https://www.youtube.com/watch?v=z_dt7NG38V4