PinnedLoading

1. xilinx-nix-utilsxilinx-nix-utilsPublic

   Forked fromDLR-FT/xilinx-nix-utils

   A flake which hopefully proves useful for fellow Xilinx users

   Nix 1

2. rk3588-fw-nixrk3588-fw-nixPublic

   U-Boot and EDK2 Fw for RK3588

   Nix 1

3. armv7aarmv7aPublic

   armv7a bare-metal Rust support

   Rust 3

4. arm64-rtarm64-rtPublic

   Rust 1

5. fishball-sdrfishball-sdrPublic

   Custom firmware for the FishBall-SDR (Zynq7020+AD9363) from scratch

   Tcl