alt
Hacker News
josh-wrale
•
today at 1:26 AM
•
1 reply
•
view on HN
Xen is formally verified?
Replies
tptacek
•
today at 1:51 AM
No.
No.