Home: Computers: Software: Operating Systems: Realtime: Microkernel (11)
  
Buy Disney World Tickets online - Heavy Season Discount Available
3 Day Water Park Fun & More Ticket - Adult (ages 10+)
4 Day Water Park Fun & More Ticket - Adult (ages 10+)
5 Day Water Park Fun & More Ticket - Adult (ages 10+)
6 Day Water Park Fun & More Ticket - Adult (ages 10+)
7 Day Water Park Fun & More Ticket - Adult (ages 10+)
10 Day Water Park Fun & More Ticket - Adult (ages 10+)
3 Day No Expiration Water Park Fun & More Ticket - Adult (ages 10+)
3 Day No Expiration Water Park Fun & More Ticket - Child (ages 3-9)
4 Day No Expiration Water Park Fun & More Ticket - Adult (ages 10+)
    More Disney World Tickets

Other Sites

Subdirectories of Microkernel:
ChorusOS (5)
EROS (10)
L4 (14)
Nucleus (7)
QNX (18)
Symbian (103)
VxWorks (4)

Categories related to Microkernel : Realtime : Operating Systems : Software : Computers:
Computers: Software: Operating Systems: Microkernel (137)
Computers: Software: Operating Systems: Submicrokernel (13)

Websites on Microkernel:
E.R.I.K.A.
Microkernel RTOSs and set of integrated tools to develop embedded realtime applications, made to support all architectures used in power train controllers in automotive industry. Kernels have 2 main layers: Kernel Layer, Hardware Abstraction Layer, HAL. [Open Source, GPL]
ERIKA Enterprise
Embedded RTOS for single and multi-core uses, small size, supports advanced scheduling mechanisms for stack size reduction on multiprocessor chip systems. Commercial. Evidence S.r.l.
Phoenix-RTOS
Growing article, with links to many related topics. Wikipedia.
Phoenix-RTOS
Growing article, with links to many related topics. Wikipedia.
PikeOS
Uses virtualization to protect software investment long-term; implements multiple software partitions on one CPU, strictly separated, each partition can run full OS such as Linux, POSIX, OSEK, or programs. Sysgo AG; Mainz, Germany.
Prex
Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD.
Real-Time Mach NTT
Another version of Real-Time Mach, by NTT Laboratories. Contains RT-Mach kernel, FreeBSD 2.2.8 server, real-time shell, RT-Java, Hurd loader. Getting Started section: readme, release notes, installation, hardware, compatibility, troubles questions and answers, and contacts.
rtmk
Realtime microkernel: preemptive, fully re-entrant, multithreaded, SMP, continuations, full locking primitives; shares many ideas with Mach, developed by CMU in late 1980's, early 1990's, stopped in 1994. [Open Source, GPL]
Sphere SP
A modular RTOS suitable for embedded systems, scalable from tiny stand-alone microkernel up to full client/server OS, supports different processors.
Spring Operating System
Growing article, with links to many related topics. Wikipedia.
An Overview of the Spring System
Description of realtime microkernel and integrated environment, designed and implemented to support/provide predictability, guarantees (on-line dynamic, atomic), end-to-end scheduling, resource reservations; supports call/task admission model; and multiprocessors. Proceedings of Compcon. (February, 1994)




Help build the largest human-edited directory on the web.

 

  
Disney World Tickets
3 Day Water Park Fun & More Ticket - Adult (ages 10+)
6 Day Water Park Fun & More Ticket - Adult (ages 10+)
3 Day No Expiration Water Park Fun & More Ticket - Adult (ages 10+)
4 Day Water Park Fun & More Ticket - Adult (ages 10+)
7 Day Water Park Fun & More Ticket - Adult (ages 10+)
3 Day No Expiration Water Park Fun & More Ticket - Child (ages 3-9)
5 Day Water Park Fun & More Ticket - Adult (ages 10+)
10 Day Water Park Fun & More Ticket - Adult (ages 10+)
4 Day No Expiration Water Park Fun & More Ticket - Adult (ages 10+)
 
 
Discount Disney World Tickets - Resources