nixos/nixos-hardware
1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware.git synced 2025-11-08 19:46:10 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
1285 commits 24 branches 2 tags 15 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ganga Ram
bb7ba40a67
Update microchip/common/bsp/uboot.nix 
Added branch name, for better trackability.

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2023-07-10 10:12:50 +04:00
Ganga Ram
e5ea582133 Microchip uboot build failure with nixpkgs 23.05 
Fix for https://github.com/NixOS/nixpkgs/issues/235179
Update Microchip uboot version to linux4microchip+fpga-2023.06

Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>
 2023-07-05 13:18:54 +04:00
Ganga Ram
ba8b9209ce Add Microchip Icicle-kit board support. 
* 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>
 2023-04-26 22:55:57 +04:00