seL4 Hall of Fame Award! @GernotHeiserpic.twitter.com/7aX3uJn6BS
6:09 PM - 29 Oct 2019
0 replies
20 retweets
85 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.