LionsOS is an operating system based on the seL4 microkernel with the goal of making the achievements of seL4 accessible. That is, to provide performance, security, and reliability.

LionsOS is being developed by the Trustworthy Systems research group at UNSW Sydney in Australia.

Found via the link on https://www.crystallabs.io/unix-books-papers-videos