Pinned Loading

1. ghaf ghaf Public

   Forked from tiiuae/ghaf

   TII SSRC Secure Technologies: Ghaf Framework

   Nix

2. ghaf-debug-tools ghaf-debug-tools Public

   Tools to debug/analyse GhafOS.

   Python 1

3. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix 1

4. GangaRamX/TBShell GangaRamX/TBShell Public

   A basic talk back shell

   C++ 1

5. nixos-hardware nixos-hardware Public

   Forked from tiiuae/nixos-hardware

   A collection of NixOS modules covering hardware quirks.

   Nix

6. nixos-imx8mq nixos-imx8mq Public

   Run NixOS on NXP iMX 8M Quad evaluation kit

   Nix 2