Projects tagged ‘kernel’ and ‘microkernel’


Jump to tag:

Projects tagged ‘kernel’ and ‘microkernel’

Filtered by Project Tags kernel microkernel

Refine results Project Tags os (10) operatingsystem (4) ia32 (4) programming (4) jit (4) managed (4) portable (3) dotnet (3) arm (3) c# (3) csharp (3) source (3)

[16 total ]

9 Users
 

The SharpOS Project is a community effort to write an operating system in .NET, with a strong sense of security and managability. Please note that the GPLv3 license includes the Classpath Linking Exception.
Created over 3 years ago.

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.

7 Users
 

The Managed Operating System Alliance (MOSA) Framework is a set of operating system components, compiler tools and libraries for managed operating systems based on the Common Intermediate Language and ... [More] .NET technology. We provide the foundation for other projects, such as SharpOS and Ensemble OS. [Less]
Created about 1 year ago.

4 Users

Ensemble is an effort to write the next generation operating system using CIL compliant languages (currently only C#). The main focus of Ensemble is to write an consumer- and enterprise-level operating system that can be used in the real world.
Created about 1 year 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

Metta is a multimedia, mobile, social OS.
Created about 1 year 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

Brainix is a microkernel-based, Unix-like operating system. It includes support for virtual memory, preemptive multitasking, asynchronous message passing, and the ext2 file system. It was written ... [More] from scratch and runs on IA-32 (x86) computers. Brainix was inspired by (but shares no code with) Minix. Brainix boots, initializes its sub-systems, then passes messages. It isn't mature enough to support a shell, but its developers are active. [Less]
Created 12 months ago.

0 Users

SeaKernel is based off of Linux, but not completly. It is 32-bit currently. The Latest version is 0.02 Beta3 Written by Daniel Bittman
Created about 1 year ago.

0 Users

When this kid gets stronger and bigger, there comes detailed description.:P
Created 12 months ago.