Modula-2 was used for some operating systems 40 years ago, but then it sunk into the river of history...
until recently I picked it up (I have learnt about it from awesome-low-level-languages and astonished by its modular design at the same time period of C) and decided to use it to design a modern operating system kernel.
That is ModOS-kernel, a kernel written for ModOS (in the future, maybe?). It aims to support modern architectures (like x86_64 and aarch64 in the future), modern boot protocols (multiboot2), and be POSIX-compatible.
Currently it supports nothing (only prints RGB to the framebuffer). However, it proofs that Modula-2 runs well on modern x86_64 computers with UEFI boot. Therefore, it can be developed into a fully-functional modern operating system (or cannot? Depending on if I have time).
GitHub: https://github.com/fzhwenzhou/ModOS-kernel/
And I may take time to write Modula-2 bare bone on the wiki.