What you have linked to is actually what is known as a ``Unix-based operating system''.
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable,
and free.
One of the five might be true.
Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.
Hopefully ``inspired'' is used in the sense that people have been ``inspired'' by cancer and polio to dedicate their lives to finding cures.