Ironclad – formally verified, real-time capable, Unix-like OS kernel
#HackerNews #Ironclad #Unix-like #OS #verified #real-time #kernel #technology
#Tag
Ironclad – formally verified, real-time capable, Unix-like OS kernel
#HackerNews #Ironclad #Unix-like #OS #verified #real-time #kernel #technology
A space for Bonfire maintainers and contributors to communicate