:shushing_face: A security OS kernel written >95% in Ada as a hobby project.
Primary LanguageAdaGNU General Public License v3.0GPL-3.0
Reupload of slykernel project from sourceforge