Pinned Loading

1. ghaf ghaf Public

   Forked from tiiuae/ghaf

   TII SSRC Secure Technologies: Ghaf Framework

   Nix

2. ghaf-givc ghaf-givc Public

   Forked from tiiuae/ghaf-givc

   Ghaf gRPC-based inter-vm communication framework

   Rust

3. vhotplug vhotplug Public

   Forked from tiiuae/vhotplug

   TII SSRC Secure Technologies: Hot-plugging USB devices into virtual machines

   Python

4. tiiuae/ghaf-policies tiiuae/ghaf-policies Public

   OPA Rego policies for Ghaf

   Python

5. nixos-hardware nixos-hardware Public

   Forked from tiiuae/nixos-hardware

   A collection of NixOS modules covering hardware quirks.

   Nix

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix 1