Fix format - Githubissues

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

Fix format #79

Closed samueltardieu closed 1 month ago