Search Results for "micro"

Q1-kernel a hybrid kernel written in lasm (lex-studio custom assembly) and rust. Made to be fast like a monolithic kernel and safe like a micro kernel also very very modular. And made to compete with optimized kernels Q1-kernel having a modern architecture.

"µOS++" (micro OS plus plus) is an open source, royalty-free, real-time operating system intended for embedded systems built around ARM Cortex M or AVR devices. It is based on a preemptive scheduler written in C++ (more info in the Wiki).

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.

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

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.

uGNU/RTOS (literally "micro G'Noo RTOS") is an Open Source serial Real Time OS for microcontrollers (PIC, ATMEL).

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.

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.

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

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.

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

Just another view on how should OS be designed. Streams based architecture, micro kernel, dynamic loading/removing drivers without OS rebooting, ...

shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.