search

rel4team / rel4_kernel

7 stars 3 forks source link

rel4 支持 aarch64 microkit，并通过 demo #44

Open yfblock opened 1 month ago

yfblock commented 1 month ago

MicroKit Tutorial: https://trustworthy.systems/projects/microkit/tutorial/print.html https://trustworthy.systems/projects/microkit/

yfblock commented 1 month ago

基于 microkit 的 os: https://github.com/au-ts/lionsos ，支持部分 posix 接口。