seL4 foundation logo


A Trusted Service Provider for seL4-based systems

DornerWorks Ltd DornerWorks helps product makers turn their ideas into reality with FPGA, hardware, and embedded software engineering expertise. We accelerate your product development and lower risk for adopting advanced technologies. One of our specialties is seL4 microkernel-based development. DornerWorks, a founding member of the seL4 Foundation, can accelerate integration of seL4 as the trusted software base for your products.
DornerWorks Ltd has received interim endorsement as a Trusted Service Provider for seL4-based systems.




DornerWorks, Ltd.
3445 Lake Eastbrook Blvd SE
Grand Rapids, MI 49546
Phone: +1.616.245.8369