lenn/nixos-hardware
1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware.git synced 2025-11-06 01:48:50 +08:00
Code Issues Packages Projects Releases Wiki Activity
2,304 Commits 25 Branches 2 Tags
9aa4e4aa5c7fb4c6411480e1ab2a9bbc1473eac3
Commit Graph

4 Commits

Author SHA1 Message Date
Andre
51e51e6014 chore: format repo using treefmt-nix and nixfmt-rfc-style 2025-06-04 12:35:54 -04:00
Mika Tammi
1723853180 microchip icicle-kit: Fixes to kernel 
* Improve by changing from legacy extraConfig to the
  structuredExtraConfig style kerenl configuration.
* Remove few unneeded kernel modules from default configuration.
* Make kernelPatches, structuredExtraConfig and extraMeta overrideable.
* Change callPackage-style function to actually take the individual
  attributes from pkgs.
* Get rid of recursive syntax.

Signed-off-by: Mika Tammi <mika.tammi@unikie.com>
 2024-01-05 12:36:28 +00:00
Ganga Ram
3d4a18fac8 Microchip Icicle Kit BSP update 
- Kernel upadated to 6.1.43
- Uboot updated to 2023.07.02

Signed-off-by: Ganga Ram <Ganga.Ram@tii.ae>
 2023-10-12 08:40:19 +00: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