It is a new research OS using micro-kernel design, built in a mix of C++ and Ada, with a pluggable layers.
It also has a POSIX compatibility layer, hence the references you saw.
The best way is to browse through https://genode.org/documentation/genode-foundations/19.05/in...