Popular repositories Loading

1. ghaf ghaf Public

   Forked from tiiuae/ghaf

   TII SSRC Secure Technologies: Ghaf Framework

   Nix 1

2. givc givc Public

   Inter-VM Services and Communication via gRPC

   Go 4

3. ghaf-givc ghaf-givc Public

   Forked from tiiuae/ghaf-givc

   Ghaf gRPC-based inter-vm communication framework

   Go

4. ghaf-debug-tools ghaf-debug-tools Public

   Forked from gangaram-tii/ghaf-debug-tools

   Tools to debug/analyse GhafOS.

   Shell