Hacker News
points by josh-wrale 1 day ago | 0 comments
Xen is formally verified?