lenn/nixos-hardware
1
0
Fork 0
mirror of https://github.com/NixOS/nixos-hardware.git synced 2025-11-04 17:27:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add Microchip Icicle-kit board support.

Browse Source 
* 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>
This commit is contained in:
Ganga Ram
2023-04-26 11:46:11 +04:00
parent 3006d2860a
commit ba8b9209ce
12 changed files with 264 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
microchip/README.md Normal file
View File

@@ -0,0 +1,17 @@
# Microchip Icicle-kit board support
## 1. Supported devices
- [Microchip Icicle Kit](https://www.microchip.com/en-us/development-tool/MPFS-ICICLE-KIT-ES) (**mpfs-icicle-kit**) - device-specific U-boot and Linux kernel, nixos configuration example.
## 2. How to use?
Currently this overlay is used for generating bootable NixOS SD images.
Code snippet example that enables icicle-kit configuration:
```
{ nixos-hardware, }: {
system = "aarch64-linux";
modules = [
nixos-hardware.nixosModules.icicle-kit
];
}
```