mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-12-18 15:49:45 +01:00
e5ea582133
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> |
||
|---|---|---|
| .. | ||
| common | ||
| icicle-kit | ||
| README.md | ||
Microchip Icicle-kit board support
1. Supported devices
- Microchip Icicle Kit (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
];
}