# M5P1_MuProkaron

**Repository Path**: wele2010/M5P1_MuProkaron

## Basic Information

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

## Statistics

- **Stars**: 0
- **Forks**: 31
- **Created**: 2019-08-14
- **Last Updated**: 2025-10-16

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

No README documentation available for this project.