Pinned Loading

1. TrustZone-based experimental measurements

   C 2 2

2. Compartmentalized in-enclave backend for unikernels

   C++ 3

3. Isolated ocaml bindings

   C 1

4. Forked from microsoft/verona

   Research programming language for concurrent ownership

   C++