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.
3445 Lake Eastbrook Blvd SE
Grand Rapids, MI 49546