Hello, in your answer about camkes VMs, you mentioned a collaboration with DARPA on their SMACCM/HACMS project.
While seL4 is undoubtedly a good choice for mixed criticality systems like avionics on a UAV, I’m somewhat frustrated to hear y’all had done a contract for DARPA considering what they *use* those drones to do.
Is there somewhere I can read more in detail about this and other military-adjacent contracts?