Skip to content
@RISC-V-Microkernel-OS

Generisc

Popular repositories

  1. Generisc Generisc Public

    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 shou…

    1

Repositories

Showing 1 of 1 repositories
  • Generisc Public

    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…

    1 0 0 0 Updated Jun 14, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…