Ironclad OS project popping out Unix-like kernel using Ada

(theregister.com) by mmooss | Nov 10, 2025 | 3 comments on HN