Projects tagged ‘amd64’ and ‘microkernel’


[4 total ]

9 Users
 

Jari OS is a real-time microkernel operating system which runs in terms of multi-service architecture. Core system consists of its own microkernel μString, core and system services, set of device ... [More] drivers launched as trusted services. Our system is a pure microkernel and multi-service OS. All work is made via trusted services, and each service works within its own address space, and in this case Jari OS is a pure multi-service OS. Jari OS provide POSIX API for threads, files, networking, timers, memory operations. [Less]
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.

3 Users
 

μString is a microkernel or exokernel (call it whatever like you want) - a part of the Jari Operating System Research Project. For the better support and project life it's licensed under GNU GPLv2 ... [More] License and you can freely use it in your targets, modify and run this microkernel. μString designed to be stable exists to both source code and API, it's supposed to be a source code backward compatibility that makes a development more effictive compairing with linux kernel for example. [Less]
Created 12 months 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.