mio-ops/hardware/odroid-hc4/default.nix

55 lines
1.2 KiB
Nix
Raw Normal View History

2022-03-07 14:26:15 +00:00
{
config,
lib,
modulesPath,
pkgs,
...
}:
with lib; let
2021-10-20 06:22:09 +00:00
sources = import ../../nix/sources.nix;
2022-03-07 14:26:15 +00:00
unstable = import sources.nixpkgsUnstable {};
2021-11-16 04:57:23 +00:00
in {
2021-10-20 06:22:09 +00:00
imports = [
"${modulesPath}/profiles/base.nix"
./uboot/hardkernel-uboot.nix
../../profiles/host_common.nix
../../profiles/server_common.nix
];
# The linux kernel used is compiled from the Hardkernel fork of
# torvalds/linux
boot = {
2022-03-07 14:26:15 +00:00
initrd.availableKernelModules = mkForce [];
2021-10-20 06:22:09 +00:00
kernelPackages = pkgs.linuxPackagesFor pkgs.linux_hardkernel;
# Bootloader (use Hardkernel fork of Das U-Boot)
loader = {
grub.enable = false;
generic-extlinux-compatible.enable = false;
hardkernel-uboot.enable = true;
};
};
# We do know the hardware we are planning to deploy to
hardware.enableRedistributableFirmware = mkForce false;
nixpkgs.overlays = [
(import ./overlays/kernel/overlay.nix)
(import ./overlays/uboot/overlay.nix)
];
# DNS
services.resolved.enable = true;
services.resolved.dnssec = "false";
fileSystems = {
"/boot" = {
device = "/dev/disk/by-label/FIRMWARE";
fsType = "vfat";
};
"/" = {
device = "/dev/disk/by-label/NIXOS_SD";
fsType = "ext4";
};
};
}