Kaneton Microkernel
Computers - Software - Operating Systems - Education. Goal: provide all students need to learn OS concepts: basic functions, kernel internals, microkernel architecture, to advanced distributed concept ...
www.kaneton.org
The Spoon Microkernel
Computers - Software - Operating Systems - Microkernel - Open Source. Hobby and education OS, for Intel compatible CPUs. Descriptions, documents, screenshots, tips, links. [Open Source, BSD] ...
www.smk.co.za
Sartoris Microkernel Tutorial
Computers - Software - Operating Systems - Microkernel. Explains about making a policy-free microkernel; multipart series. ...
sartoris-microkernel.blogspot.com
Microkernel
Computers - Software - Operating Systems - Microkernel. Growing article, with links to many related topics. Wikipedia. ...
en.wikipedia.org
SourceForge: L4Ka Microkernel
Computers - Software - Operating Systems - Realtime - L4. The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists. ...
sourceforge.net
L3-L4 Microkernel Family
Computers - Software - Operating Systems - Realtime - L4. Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security mechanism based on secure domains: tasks, cl ...
os.inf.tu-dresden.de
L4 Microkernel Family
Computers - Software - Operating Systems - Realtime - L4. Growing article, with links to many related topics. Wikipedia. ...
en.wikipedia.org
L4 Microkernel
Computers - Software - Operating Systems - Realtime - L4. L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, ...
www.cse.unsw.edu.au
Be Dope - Inside Info for the Be Universe
Computers - Software - Operating Systems - Microkernel - BeOS - Humor. Be Dope: Inside Information for the Be Universe. The superior source of information relating to the BeOS. News, entertainment, tutorials, interviews, Tibetan monks and their yaks. ...
www.bedope.com
GNU Hurd Hardware Compatibility Guide
Computers - Software - Operating Systems - Microkernel - Mach - GNU Hurd. A list of hardware that is known to be supported by the GNU Mach microkernel. ...
www.freesoftware.fsf.org
The BeOS Tip Server
Computers - Software - Operating Systems - Microkernel - BeOS. Hundreds of tips, tricks, shortcuts, and undocumented secrets by and for BeOS users. ...
www.betips.net
Hurd hacking guide
Computers - Software - Operating Systems - Microkernel - Mach - GNU Hurd. Offers guidelines on design and implementation of GNU Hurd. ...
www.8ung.at
ROS Explorer FAQ
Computers - Software - Operating Systems - Microkernel - ReactOS. ReactOS Explorer frequently asked questions. ...
www.sky.franken.de
Moo32
Computers - Software - Operating Systems - Microkernel - Open Source. Early development microkernel. ...
www.geocities.com
E.R.I.K.A.
Computers - Software - Operating Systems - Microkernel - Open Source. 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 ...
erika.sssup.it
E.R.I.K.A.
Computers - Software - Operating Systems - Realtime - Microkernel. 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 ...
erika.sssup.it
The BeBox Zone
Computers - Software - Operating Systems - Microkernel - BeOS. Technical Specifications for BeBox components, historical information about BeBox development, and anecdotal information about the use of BeBoxen. ...
www.bebox.nu
Tek-Tips: BeOS Forum
Computers - Software - Operating Systems - Microkernel - BeOS - Development. Technical support forums and mutual help system for computer professionals. Selling and recruiting forbidden. ...
www.tek-tips.com
The Easy Guide to Installing Hurd on a Linux Box
Computers - Software - Operating Systems - Microkernel - Mach - GNU Hurd. A step-by-step guide to installing Hurd on a linux box, assuming no prior knowledge. ...
www.pick.ucam.org
Debian
Computers - Software - Operating Systems - Microkernel - Mach - GNU Hurd. Download site for Debian Hurd CDs. Offers software downloads, support, documentation and news. ...
www.debian.org
MorphZone
Computers - Software - Operating Systems - Microkernel - MorphOS. MorphOS portal: community and support, with news, fora, tutorials, quick help, downloads, bounties, links. ...
www.morphzone.org
Heller's NeXT pages
Computers - Software - Operating Systems - Microkernel - Mach - NeXT - Hardware. A useful collection of information for working with and around NeXT boxes. Includes many FAQs, schematics and some interesting power supply fixes. ...
www.lrz-muenchen.de
Tim Philip's Developer Log
Computers - Software - Operating Systems - Microkernel - BeOS - Development. New projects and history. ...
www.timphilip.net
top
