* Uses Linux kernel released by Microchip
- https://github.com/linux4microchip/linux.git
- Ver: v5.15 Tag: linux4microchip+fpga-2023.02
* Uses UBoot released by Microchip
- Ver: uboot-2022-01 Tag: linux4microchip+fpga-2023.02
To generate NixOS sd image for MICROCHIP icicle-kit refer:
https://github.com/tiiuae/ghaf.git
Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>