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

  1. 😅 @xen_org/848135355228463105
    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.
      Permalink On twitter.com Twitter logo rene_mobile’s avatar Mood +4 🙂