He also held positions at Chorus, where he was responsible for the Chorus Micro Kernel
real time executive, and Alsys, where he was a member of the Ada programming language design team.
o Enea Hypervisor Specialized systems virtualization solutions through the micro kernel
based Enea Hypervisor for high-performance, deterministic embedded code.
The E3200 sets a new standard for high availability and represents the first use of micro kernel
software architecture to public data networking.
Notable features include an integral hardware micro kernel
with multi-priority process scheduling, trap/exception handling, I/O, DMA, interrupt and timer support and fast context switching.
The powerful Linux functionality delivered in Coventive's micro kernel
is uniquely suited to tiny mobile and hand held information devices where engineering specifications are too rigorous for common embedded Linux solutions.
The unique design of the ORB micro kernel
supports `pay-for-use' resource management allowing eORB-based INAs to operate on a Palm Pilot using Palm OS, as well as network switching and transmission devices using real time operating systems such as VxWorks(R)," said Tom Greene, vice president of engineering for Vertel.