mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-12-29 13:09:45 +01:00
ba8b9209ce
* 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>
17 lines
526 B
Markdown
17 lines
526 B
Markdown
# 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
|
|
];
|
|
}
|
|
```
|