# M5P01_Prokaron

**Repository Path**: EDI-Systems/M5P01_Prokaron

## Basic Information

- **Project Name**: M5P01_Prokaron
- **Description**: One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。
- **Primary Language**: C
- **License**: Unlicense
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 80
- **Forks**: 31
- **Created**: 2018-09-11
- **Last Updated**: 2025-08-28

## Categories & Tags

**Categories**: iot

**Tags**: None

## README

No README documentation available for this project.