au-ts/lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

CStars 197Forks 32Watchers 197Open issues 63License BSD 2-Clause "Simplified" License

Details

仓库信息

Ownerau-ts

Last pushed2025-12-12

Last updated2025-12-14

Issues fetched at—

Community at a glance