The developers of seL4 have been in funding hell for years. Most of their work was darpa research for remotely controlled drones. The US Military would very much like drones that can't be hacked.

Their current work is on LionsOS which is more towards greater adoptions: https://lionsos.org/