rene_mobile’s avatarrene_mobile’s Twitter Archive—№ 2,522

    1. 😅 @xen_org/848135355228463105
      Permalink On twitter.com Twitter logo rene_mobile’s avatar Mood 0
  1. …in reply to @rene_mobile
    .@xen_org I suggest to rebuild Xen on top of SeL4 but with Haskell translated to Rust instead of C. Seems much safer than the mere proof.
    On twitter.com Twitter logo rene_mobile’s avatar Mood +4 🙂