Operating Systems DirectoryOperating Systems Directory provides access to listings of various popular operating systems like BIOS, Unix, graphic subsystems & more. |
Directory also caters information about numerous operating systems related topics such as boot managers, guides, closed source systems, real time, main frame, networks & much more. |
||||
 |
 |
 |
|||
|
Home » Computer Operating Systems » Microkernel Operating Systems » The Topsy The Topsy in Graphic Systems Resource Directory |
Teachable Operating System: tiny multithreaded messaging microkernel, in ANSI C; protected threads, memory managed, and threadprocess control. From undergraduate course on concurrency, device programming, OS concepts. Descriptions, documents, theses, downloads, contacts, links. [Open Source, GPL]
Website: http://www.tik.ee.ethz.ch/~topsy/
Sponsored Links