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

can not run example #45

Closed preychiken closed 10 months ago

preychiken commented 10 months ago

image