HelenOS

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

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

C 807 102 0 4 Updated Apr 7, 2022
harbours Public
Ported software for HelenOS.

M4 15 9 0 0 Updated Dec 8, 2020
ci Public
Continuous build tools and automated tests for HelenOS.

Python 7 3 0 0 Updated Dec 7, 2020
gcc Public
GCC clone with patches for HelenOS support

C 1 3,254 0 0 Updated Aug 16, 2019
binutils-gdb Public
Binutils clone with patches for HelenOS support

C 0 0 0 0 Updated Aug 16, 2019
qemu Public
QEMU Fork that has the TMON virtual device used to validate the functionality of the USB3 driver for HelenOS.

C 1 3,922 0 0 Updated Feb 4, 2018

Pinned