[Summit] Re: TO/summit/sel4.systems Coporation/Proposal for Collaboration/Paper & Tape/2025/9/8 2:22:28