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