blancolioni/rose

Persistent capability-based kernel

GitHub repository with 5 stars and 1 forks.

Language: Ada

Topics: ada, operating-systems, os

Open provider repository