RT @BenLaurie: Runnable formal model of ARM v8.5: https://github.com/rems-project/sail-arm …
Good enough to boot Linux!
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.