This website requires JavaScript.
Explore
Examples
University
Help
Sign In
matt
/
open_kernel
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
main
open_kernel
/
docs
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
Delete Directory
History
Admin
fc2bee6f32
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
..
ARCHITECTURE.md
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
GOAL.txt
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
HOST_ABI.md
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
ROADMAP.md
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
VALIDATION.md
Build original Ada port core, V client, and x86-64 boot milestone
2026-11-01 16:07:00 +08:00
