DornerWorks
A Trusted Service Provider for seL4-based systems
|
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. |
Services
-
seL4 Microkernel
- Configuration, integration, customization, and system optimization
- Guest OS and hardware porting
- Virtualization and hypervisor distributions
-
FPGA platforms
- Hardware based acceleration
- FPGA IP
- High-speed video
- DSP
- Synchronized networking
- Connected products for IoT
- Medical device product development
Industries
- Defense
- Medical
- Aerospace
- Automotive
- Industrial
Contact
DornerWorks, Ltd.
3445 Lake Eastbrook Blvd SE
Grand Rapids, MI 49546
Phone: +1.616.245.8369
Email: sales@DornerWorks.com