There is also LionsOS https://lionsos.org/ (SeL4-based).