search

pok-kernel / pok

POK kernel. Safe and secure for safety-critical systems.
https://pok-kernel.github.io/
BSD 2-Clause "Simplified" License
94 stars 61 forks source link

Ly #43

Closed lyxxn0414 closed 1 year ago

lyxxn0414 commented 1 year ago

feat schedule_algorithms&tests&docs