Factory > Showcase > NrOS
Name:
NrOS
Description:
OS kernel with safer approach to synchronization
Professor — Lab:
Sanidhya Kashyap — Robust Scalable Systems Software Lab
Technical description:
NrOS is an operating system primarily constructed as a simple, sequential kernel with no concurrency, making it easier to develop and reason aboutits correctness.
Papers:
Project status:
active — entered showcase: 2021-11-05 — entry updated: 2024-04-12
Source code:
Non-lab GitHub - last commit: 2023-12-02
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Framework, Experiments
Programming language:
Rust
License:
Apache-2.0