rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 276

  1. RT @pollux7: seL4 (formally verified L4 microkernel) released in opensource, with sources and proofs sel4.systems/ https://t.co/4…
    On twitter.com Twitter logo Retweet