rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 495

  1. …in reply to @micahflee
    @micahflee @therealgrubles @ageis @rootkovska has anybody evaluated seL4 for #QubesOS? Formal verification would still be nice to have...
    On twitter.com Twitter logo rene_mobile’s avatar Mood +3 🙂