News for hackers. Stuff that matters.

A comment on Google Announces KataOS and Sparrow. Parent comment

Re:Google Announces KataOS and Sparrow by Sirened on Sunday October 16, 2022 @02:36PM (#33226011)
are there any formally verified CPUs that support any of the constructs needed for anything more than microcontrollers? Like, I have not yet found a formally verified CPU which supports virtual memory or caching
[ Parent | on HN ]

There are no comments on this comment yet.