@mike@social.chinwag.org I was wondering how hurd is doing. also someone's got a partially verified in written in ada posix kernel https://ironclad-os.org/