Search Results for "micro kernel"

CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT -...

X-hyp free is a Open Source hypervisor based on a micro-kernel architecture with para-virtualisation. X-hyp is distributed under a GPLv2. X-hyp already has support ARM-9 Cortex-M3 and Cortex-A8 processor, has drivers for PL1x UART and is ready to use inside of QEMU versatile and realview and on a iMX25 development board. X-Hyp has support for several scheduler, POSIX FIFO, POSIX RR and Sporadic and it support GPOS or RTOS domains.

It is a micro kernel for Arduino boards. It is based on finite state machines. Can run multiple tasks simultaneously. No busy waits. No threads, no dead locks. Fully configurable.

Akalon is a Bare-Bones Embedded RTOS that's designed to be simple and portable to any Microprocessor or System (Board). Currently supports the Intel and ARM Architectures.

Advanced Real-Time Linux (ART-Linux) is a hard real-time kernel developed with robotics applications in mind. Real-Time is accessible from user level and does not require special device drivers. 10 micro-second periodic execution is possible on a PII

Clicker is a project for a Multitasking Open-source operating system written from scratch. based on a modular micro kernel. We want to explore new way of designing and using OSes :) [newz: PCI, NE2K and VBE]

Note: the project is basically dead, as I started rewriting it but I don't have much free time to work on it. It's basically a micro-kernel, but on top of that, instead of having multiple servers running as standalone processes, it has a modular kernel, so that each server is a module of this kernel. The micro-kernel contains only the scheduler, memory management and drivers for high-speed devices (like gigabit ethernet NICs or video cards).

Ace is a micro kernel for developers and researchers. The main goal is to create a very light and compact kernel from scratch with modern OS research concepts.

A Micro Kernel OS designed from scratch

a kernel for many architectures. the kernel is a micro-kernel which can be used as an hybrid- or monolithic-kernel. the kernel is written in assembler and C.

a concept operating system that is UNIX like; however, is not a micro-kernel, monolithic kernel, or any kernel in particular. it is based off inferno, a plan9 like UNIX.

a micro kernel for learning purpose

... > Philosophy: Write Once → Run Everywhere The package-item can be a thread, a separate local process that is started by fork or spawn, or even a network of multiple services on multiple hosts. The package-item can be written in any language that is supported by the Programming-Language-Micro-Kernel support. It even supports running multiple programming languages in a single piece of software. Supported Languages are: (C,C++,C#,VB.NET,Java,Python,Ruby,Perl,PHP,Tcl or GO) > Strategy: It takes 4 years to write a programming-language, but it only takes 4 weeks to insert a micro-kernel. The package-item is connected to one another via a pipe or a socket and is based on packets .

Prex is a portable real-time operating system for embedded systems. The small, reliable and low power kernel is written in C language based on micro kernel design. File system, UNIX process and networking features are provided by user mode tasks.

FIRMAMENT runs, inside the Linux kernel, user supplied micro-programs over each processed message to emulate communication fault situations, using a script approach. The tool is appropriate to perform experiments over protocols and distributed systems.

A small micro operating system kernel written in C (and partly assembly). Planned features are: software based preemptive multitasking/threading, paging, kernel API, IPC, client/server, security system. The code is designed to be clearly understandable.

UCOS is a micro kernel OS which is orinially intended for teaching. Yet the free UCOS kernel has it's limitations such as limited task quantity, priority reversion. There are tremendous work to be done!

Xarnos - A new, highly configurable micro-kernel based OS.

SIMDOS stands for SImple Microkernel Distributed Operating System. SIMDOS is a micro-kernel based operating system which implements the concepts of Distributed Shared Memory at the kernel level to provide seemless addition on cluster nodes.

A multi-tasking, multi-threaded micro-kernel operating system for the x86 platform.

The goal of the Christ-OS project is to create a real time micro kernel operating system with a preemptive kernel for embedded systems.

SDL REFLEX is the micro kernel of a real time operating system for the AVR microcontroller family. The kernel is especially designed to implement systems described in SDL – “The Specification and Description Language” . Compiler GNU ANSI-C for AVR v.3.3

EvilOS is supposed to be a portable, object oriented micro kernel, used as a base for a general-purpose operating system.

Hadie - Hardware Abstracting Device Independent Environment. Or just another micro kernel for embedded devices. Supported architecture are i8051 (80515c), i166 (XC161CJ), Tricore (TC1775B), m68k (m68332) and i386.