Projects tagged ‘ia32’ and ‘microkernel’


Jump to tag:

Projects tagged ‘ia32’ and ‘microkernel’

Filtered by Project Tags ia32 microkernel

Refine results Project Tags kernel (4) source (3) ipc (3) arm (3) os (3) native_api (2) itanium (2) operating_system (2) l4 (2) amd64 (2) mips (2) ppc32 (2)

[5 total ]

7 Users
 

The HelenOS project is an effort to develop a complete and usable modern operating system, yet offering room for experimenting and research. HelenOS uses its own microkernel written from scratch and ... [More] supports SMP, multitasking and multithreading on both 32-bit and 64-bit, little-endian and big-endian processor architectures, among which are AMD64/EM64T (x86-64), ARM, IA-32, IA-64 (Itanium), 32-bit MIPS, 32-bit PowerPC, SPARC V9 and Xen 3.0. Thanks to the relatively high number of supported architectures and suitable design, HelenOS is extremely-well portable. [Less]
Created over 3 years ago.

2 Users

L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales ... [More] , Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]
Created over 2 years ago.

1 Users
   

Fiasco is a new µ-kernel (microkernel) running on x86 PCs intended to be compatible with the L4 µ-kernel for x86. It implements the L4 ABI as defined in the L4/x86 Reference Manual. The ... [More] Fiasco kernel can be used to construct flexible systems. We at TU Dresden use it as a base for our DROPS system which supports running real-time and time-sharing applications concurrently on one computer. However, Fiasco is not only suitable for big and complex systems, but also for small, embedded applications. [Less]
Created over 2 years ago.

0 Users
 

A small, new and fast micro-kernel operating system written in C++. - Mona is neither POSIX nor a Windows clone. - Boots from floppy disk or CD-ROM. - Scheme(Lisp) based shell. - Kernel size is ... [More] now 88KB(2007/05/27) - Works on IA32 x86 CPUs - Graphical user interface [Less]
Created over 2 years ago.

0 Users

Tarksi is a 32-bit Operating System currently targeted for the IA-32 architecture. More information soon.
Created about 1 month ago.