POK kernel, a secure and safe micro-kernel for embedded systems.
More information on https://pok-kernel.github.io/
We prefer the GitHub issue tracker to be used for bug reports, questions and suggestions. Support requests and collaboration proposals can be sent to [email protected]
.
- MLFQ
- priority scheduler
- EDF scheduler
- weighted Round-Robin scheduler