The Oak Restricted Kernel provides minimal features.
Files
Latest commit
This branch is 956 commits behind project-oak/oak:main.
oak_restricted_kernel
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||