HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by josh-wrale | Hacker News Reader
Parent
Full thread
josh-wrale
·
Xen is formally verified?
View on HN
tptacek
·
No.
Reply on news.ycombinator.com