{ lib, pkgs, ... }:

{
  hardware.deviceTree = {
    name = lib.mkDefault "allwinner/sun50i-a64-teres-i.dts";
    enable = lib.mkDefault true;
  };

  boot = {
    consoleLogLevel = lib.mkDefault 7;

    kernelPackages = lib.mkDefault pkgs.linuxPackages_latest;
    kernelParams = lib.mkDefault [ "console=ttyS0,115200n8" ];
    extraModulePackages = lib.mkDefault [ ];

    initrd = {
      availableKernelModules = lib.mkDefault [ "usbhid" ];
      kernelModules = lib.mkDefault [ ];
    };

    loader = {
      grub.enable = lib.mkDefault false;
      generic-extlinux-compatible.enable = lib.mkDefault true;
    };
  };

  nixpkgs.hostPlatform.system = lib.mkDefault "aarch64-linux";

  powerManagement.cpuFreqGovernor = lib.mkDefault "ondemand";
}