The seL4 Foundation thanks DornerWorkshttps://dornerworks.com/ for becoming a Bronze sponsor of the seL4 Summit 2022http://localhost:8080/Foundation/Summit/. DornerWorkshttps://dornerworks.com/ helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. Among other areas, DornerWorks specialises in seL4 microkernel-based development. Innovative companies are building products on a trusted software base with the guidance of DornerWorks engineers. As a founding member of the seL4 Foundation, DornerWorks can accelerate the integration of seL4 as the trusted software base for your products. If you are interesting in sponsoring the seL4 summit 2022, please contact summit@sel4.systemsmailto:summit@sel4.systems. --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm