https://www.redox-os.org/
Thus it is a much more interesting project.
You still have kernel modules for microkernel-like functionality