Skip to content

A microkernel Operating system written- and using only C code. The aim is to have maximum correctness in the code, and for the OS to be as reliable and minimal as possible. Everything possible should be in sandboxes/jails, with a "snapshotter" to fall back to last stable state. All of the parts in the OS will have generic names. The target platf…

RISC-V-Microkernel-OS/Generisc

Repository files navigation

Generisc

A microkernel Operating system written- and using only C code. The aim is to have maximum correctness in the code, and for the OS to be as reliable and minimal as possible. Everything possible should be in sandboxes/jails, with a "snapshotter" to fall back to last stable state. The OS is single-user(no-user). It's multithreaded, and maybe written for virtual multi-servers(not physically). All of the parts in the OS will have generic names. The name "Generisc" stems from the Norwegian translation of "generic", which is "generisk" and we're targeting RISC hardware.

OS

Operating system using only open source software. All components written in C.

GUI

A Wayland window manager will be sourced and a fully functional Chromium web browser is the ""end"" goal.

Target platform

RISC-V 64-bit

About

A microkernel Operating system written- and using only C code. The aim is to have maximum correctness in the code, and for the OS to be as reliable and minimal as possible. Everything possible should be in sandboxes/jails, with a "snapshotter" to fall back to last stable state. All of the parts in the OS will have generic names. The target platf…

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published