2 ms·Ironclad: Unix-like operating system kernel written in SPARK and Ada21 points by thunderbong 1y ago