Doesn't seem very smart especially with the threat of China's security attacks around the corner, with the emerge of AI and IoT we need security more than ever.
A trustworthy computing base (TCB) is critical to building secure operating environments. With the lack of funding for ongoing seL4 developments we have lost a critical component for increasing the security of computing systems.