Looks like the HACMS talk from Collins Aerospace at DEFCON is up.
This covers the system they built to fly aircraft on seL4, and
especially the tools they used to do so. It's pretty light on
technical content, but still quite impressive.
https://youtu.be/X9rsv4YIShY
--
William Leslie
Q: What is your boss's password?
A: "Authentication", clearly
Notice:
Likely much of this email is, by the nature of copyright, covered
under copyright law. You absolutely MAY reproduce any part of it in
accordance with the copyright law of the nation you are reading this
in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without
prior contractual agreement.