A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
- unikernel
- unikraft
- library
- application
Repository Index
71,235 visible repositories in the index
1–11 of 11 · Most stars
Envision a future where everyone can read all the code of an educational operating system.
Official MINIX sources - Automatically replicated from gerrit.minix3.org
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
A kernel designed to run one and only one application in a virtualized environment
- osdev
- security
- virtualization
- unikernel
Minoca operating system
MentraOS is the leading smart glasses OS. See live captions, stream your view, talk to AI, and capture photos hands-free on compatible glasses.
- activelook
- conversational-ai
- smart-glasses
- smartglasses
This repository contains the source code of toro unikernel
- freepascal
- toro
- kernel
- lazarus
Android TV 13 for PlayStation 4
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
A basic operating system for the Game Boy. Because I can.