Search Results for "micro kernel"

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.

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 -...

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.

Written entirely in 8051 assembly this is a bare bones Real Time OS (RTOS) kernel for the P89C668 microcontroller. The OS itself is inspired by the discussion in 'MicroC/OS-II: The Real-Time Kernel' an excellent book by Jean J. Labrosse.

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.

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.

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.

Based on an architecture that is a mix of exokernel and micro-kernel, ev/ros shall be an innovative and revolutionary operating system that will support many platforms and provide conventional, distributed, and hard real time features.

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

The Gemini Nucleus is a production quality micro kernel based on the latest findings in operating system research.