2022-02-03 09:29:07 EST Renato Levy: looks like built in exfil for me!😮
2022-02-03 10:00:00 EST Olin Sibert: Do you have any thoughts on seL4 kernel implementation enhancements that might improve fault resilience? For example, maintainng multiple copies of all the page tables and comparing them periodically to identify potential protction-critical SDC errors?
2022-02-03 10:01:27 EST Todd Humiston: I can hear you
2022-02-03 10:01:54 EST Ihor Kuz: I can hear kyle
2022-02-03 10:29:30 EST Stuart Card: There is a lot of work to be done. It is great to see you and others attempting to tackle it. Our small company is doing likewise.
2022-02-03 10:29:58 EST David Hardin: Do you have plans to develop DO-178C cert packages for your products?
2022-02-03 10:33:15 EST Stuart Card: Another relevant standard is ASTM F3269 Standard Practice for Methods to Safely Bound Behavior of Aircraft Systems Containing Complex Functions Using Run-Time Assurance where "complex functions" is code for AI/ML based autonomy. Thoughts, anyone?