Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with microkernel

A curated list of projects in awesome lists tagged with microkernel .

https://github.com/redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

bsd freebsd gnu gnu-hurd linux microkernel minix open-source openbsd operating-system plan9 posix redox rust sel4

Last synced: 16 Dec 2024

https://github.com/rt-thread/rt-thread

RT-Thread is an open source IoT Real-Time Operating System (RTOS).

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 16 Dec 2024

https://github.com/RT-Thread/rt-thread

RT-Thread is an open source IoT real-time operating system (RTOS).

aiot arm cortex-a cortex-m embedded-systems iot kernel microcontroller microkernel mips real-time risc-v rtos

Last synced: 27 Oct 2024

https://github.com/seL4/seL4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 30 Oct 2024

https://github.com/sel4/sel4

The seL4 microkernel

microkernel os sel4 sel4-microkernel

Last synced: 17 Dec 2024

https://github.com/nebulet/nebulet

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

microkernel nebulet operating-system osdev rust webassembly

Last synced: 27 Oct 2024

https://github.com/rcore-os/zcore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Last synced: 21 Dec 2024

https://github.com/rcore-os/zCore

Zircon microkernel reimplemented in Rust.

microkernel zircon

Last synced: 07 Nov 2024

https://github.com/managarm/managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

asynchronous-io hacktoberfest microkernel modern-cpp operating-system posix-compatible x86-64

Last synced: 19 Dec 2024

https://github.com/HelenOS/helenos

A portable microkernel-based multiserver operating system written from scratch.

components drivers gui helenos kernel microkernel multicore multiserver operating-system sound tcp-ip usb

Last synced: 30 Oct 2024

https://github.com/brutal-org/brutal

🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

c hobby-os kernel microkernel modern-c operating-system osdev

Last synced: 17 Dec 2024

https://github.com/fenwii/openharmony

华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。

5g ai architecture development-tools harmony harmonyos harmonyos-next hisilicon huawei iot kernel linux maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 20 Dec 2024

https://github.com/fenwii/OpenHarmony

华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。

5g ai architecture development-tools harmony harmonyos hisilicon huawei iot kernel linux linux-kernel maps microkernel openharmony operating-system os sensor v2x wearabledevice

Last synced: 27 Oct 2024

https://github.com/nieklinnenbank/freenos

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 21 Dec 2024

https://github.com/nieklinnenbank/FreeNOS

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

arm c-plus-plus intel microkernel operating-system raspberry-pi raspberrypi

Last synced: 01 Nov 2024

https://github.com/redox-os/kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

linux microkernel plan9 redox rust sel4 syscall

Last synced: 07 Nov 2024

https://github.com/maxdev1/ghost

Ghost, a micro-kernel based hobby operating system.

ghost gui kernel libc microkernel os x86

Last synced: 20 Nov 2024

https://github.com/nuta/resea

A microkernel-based hackable operating system.

microkernel operating-system

Last synced: 21 Dec 2024

https://github.com/sorpaas/rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

kernel microkernel

Last synced: 18 Dec 2024

https://github.com/jonaskruckenberg/k23

Experimental WASM Microkernel Operating System

microkernel operating-system research wasm

Last synced: 18 Dec 2024

https://github.com/IsaacWoods/poplar

Microkernel and userspace written in Rust exploring modern ideas

kernel microkernel operating-system os osdev risc-v rust x86-64

Last synced: 09 Nov 2024

https://github.com/isaacwoods/poplar

Microkernel and userspace written in Rust exploring modern ideas

kernel microkernel operating-system os osdev risc-v rust x86-64

Last synced: 21 Dec 2024

https://github.com/nuta/microkernel-book

『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト

educational microkernel operating-system

Last synced: 21 Dec 2024

https://github.com/deislabs/mystikos

Tools and runtime for launching unmodified container images in Trusted Execution Environments

alpha docker intel microkernel sgx tee

Last synced: 19 Dec 2024

https://github.com/hex-five/multizone-sdk

MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi

attestation container digilent-arty-board firmware fpga freertos hypervisor microkernel multizone risc-v root-of-trust secure-boot secure-element security sifive tee trusted-computing trusted-execution-environment trustzone xilinx

Last synced: 08 Nov 2024

https://github.com/wookey-project/ewok-kernel

A secure and high performances microkernel for building secure MCU-based IoTs

ada arm armv7m embedded ewok ewok-kernel microcontroller microcontroller-firmware microkernel security spark

Last synced: 25 Oct 2024

https://github.com/kernkonzept/l4re-core

The core components of the L4Re operating system.

arm l4 microkernel mips multiserver operating-system x86

Last synced: 01 Oct 2024

https://github.com/dentosal/rust_os

My hobby operating system microkernel written in Rust

hobby-project microkernel operating-system osdev rust

Last synced: 28 Oct 2024

https://github.com/littlefox94/lf-os_amd64

Hobby operating system for amd64 with high ambitions - mirror

amd64 hobby-os kernel lowlevel microkernel osdev

Last synced: 17 Nov 2024

https://github.com/LittleFox94/lf-os_amd64

Hobby operating system for amd64 with high ambitions - mirror

amd64 hobby-os kernel lowlevel microkernel osdev

Last synced: 19 Nov 2024

https://github.com/ikoene/symfony-micro

Use Symfony as a microframework.

micro-framework microkernel symfony symfony-micro

Last synced: 15 Dec 2024

https://github.com/madworx/docker-minix

QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website

docker docker-image microkernel minix minix3 qemu qemu-kvm

Last synced: 22 Oct 2024

https://github.com/theonekevin/cxkernel

A hobbyist operating system created from scratch.

c-plus-plus hobby-os hobby-project microkernel operating-system osdev

Last synced: 19 Oct 2024

https://github.com/AntoineSebert/dandelion

🌀 Microkernel Real-Time Operating System in Rust

honours-project microkernel operating-system real-time-systems rtos rust

Last synced: 19 Nov 2024

https://github.com/genodelabs/genode-rpi

Raspberry Pi family support for Genode OS framework

aarch64 arm armv6 armv8 cplusplus cpp genode microkernel osdev raspberry-pi

Last synced: 06 Nov 2024

https://github.com/Electronic-Waste/Chcore

A Microkernel OS Lab & Note & Homework for SJTU SE3357

c homework microkernel notes operating-system sjtu sjtu-se

Last synced: 08 Nov 2024

https://github.com/electronic-waste/chcore

A Microkernel OS Lab & Note & Homework for SJTU SE3357

c homework microkernel notes operating-system sjtu sjtu-se

Last synced: 23 Oct 2024

https://github.com/bahmanm/ifem-os

Aspiring to become an operating system...

assembly-language c exokernel i386 microkernel operating-systems

Last synced: 15 Nov 2024

https://github.com/genodelabs/genode-imx

i.MX SoC family support for the Genode OS framework

aarch64 arm armv7 armv8 cplusplus cpp genode hypervisor imx6 imx7 imx8 microkernel osdev virtualization

Last synced: 06 Nov 2024

https://github.com/xe/novos

A capability based microkernel OS.

insanity microkernel rust

Last synced: 31 Oct 2024

https://github.com/genodelabs/genode-zynq

Zynq SoC support for the Genode OS framework

arm armv7 cplusplus cpp genode microkernel osdev zybo zynq

Last synced: 06 Nov 2024

https://github.com/smokku/wrte

microkernel-like environment to run untrusted applications in browser

distributed javascript kernel microkernel operating-system runtime sandbox untrusted-applications www

Last synced: 27 Oct 2024

https://github.com/torralbaa/N2OS

Sistema operativo libre y colaborativo, donde todos pueden contribuir.

gpl gplv2 kernel microkernel operating-system operating-systems os osdev

Last synced: 23 Oct 2024

https://github.com/ryanwoodsmall/lites

lites mach bsd archive

bsd lites mach microkernel os unix

Last synced: 10 Nov 2024

https://github.com/nuriofernandez/microkernellibrary

Microkernel event-driven architecture library to create plugin-based event-driven applications.

architecture event-driven events java library microkernel modules plugins reflection

Last synced: 05 Nov 2024

https://github.com/dmjio/halvm-lightning-talk

A hypothetical HaLVM lightning talk

halvm haskell microkernel os unikernel

Last synced: 16 Nov 2024

https://github.com/sel4/website

The seL4.systems website

microkernel proof sel4 verification

Last synced: 11 Nov 2024

https://github.com/snacsnoc/microkernel-ultra

Experimental microkernel for fun in Python

microkernel python python-microkernel

Last synced: 22 Nov 2024

https://github.com/archibate/chaos

A hobby operating system based on my microkernel

c c-library kernel microkernel operating-system os

Last synced: 09 Nov 2024

https://github.com/phip1611/hedron-minimal-roottask

This repository shows how to build and start a minimal roottask written in Rust on the Hedron microkernel/microhypervisor.

microkernel rust

Last synced: 07 Nov 2024

https://github.com/6arms1leg/taskuler

Simple and tiny framework of a cyclic executive, non-preemptive, cooperative scheduler for embedded systems to manage task execution

cooperative cyclic-executive embedded embedded-systems framework microkernel nested-critical-regions nested-critical-sections non-preemptive real-time scheduler timers

Last synced: 10 Dec 2024

https://github.com/kkinos/kinos

A microkernel-like operating system based on MikanOS

microkernel operating-system uefi x86-64

Last synced: 18 Dec 2024

https://github.com/archibate/microk

A microkernel (will be merged with my last monokernel system project 'osys')

c kernel microkernel os

Last synced: 09 Nov 2024

https://github.com/sel4/whitepaper

Source for the seL4 white paper

microkernel os sel4 sel4-microkernel

Last synced: 11 Nov 2024

https://github.com/mlouielu/f9-report

f9-microkernel technical report

arm microkernel operating-system

Last synced: 03 Dec 2024