The PikeOS microkernel is targeted at real-time embedded systems. Its main goal is to provide a partitioned environment for multiple operating systems with different design goals to coexist in a single machine. It was initially modeled after the L4 microkernel and has gradually evolved over the years of its application to the real-time, embedded systems space. This paper describes the concepts that were added or removed during this evolution and it provides the rationale behind these design decisions.
SYSGO provides operating system technology, middleware, and software services for the real-time and embedded market. The company provides the secure virtualization platform PikeOS, a... Read More
Technical Paper / Product Paper
0
0
Download to Print
Add to bookmarks
0 comments
write a comment