not being POSIX compliant is actually needed for a modern OS. with POSIX you'll never get to safe concurrency, so you'll hardly can make use of all the CPU kernels.
it must be a microkernel, supporting only safe languages. certainly not rust.
Genode is close, pony was close, Fuchsia is getting there, singularity was there already. concurrent pascal also.
Hmm, are you saying POSIX compliance makes scalability impossible? Because it makes it possible to run software written in unsafe languages? I'm pretty sure Fuchsia will always be able to run software written in C.
it must be a microkernel, supporting only safe languages. certainly not rust.
Genode is close, pony was close, Fuchsia is getting there, singularity was there already. concurrent pascal also.