mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-11-30 06:49:43 +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>
15 lines
202 B
Nix
15 lines
202 B
Nix
{ pkgs, lib, ... }:
|
|
|
|
{
|
|
nixpkgs.overlays = [
|
|
(import ./overlay.nix)
|
|
];
|
|
|
|
imports = [
|
|
../common/modules.nix
|
|
];
|
|
|
|
hardware.deviceTree = {
|
|
name = "microchip/mpfs-icicle-kit.dtb";
|
|
};
|
|
}
|