10.nixos-hardware/hardkernel/odroid-m1/default.nix
2026-01-29 00:06:32 -08:00

31 lines
815 B
Nix

{
config,
pkgs,
lib,
...
}:
{
imports = [
./petitboot
];
# Enable petitboot support.
boot.loader.petitboot.enable = lib.mkForce true;
# `nixos-rebuild` fails unless grub is explicitly disabled.
boot.loader.grub.enable = lib.mkForce false;
boot.initrd.availableKernelModules = [
"nvme"
];
# Petitboot uses this port and baud rate on the board's serial port. It's
# probably good to keep the options same for the running kernel for serial
# console access to work well.
boot.kernelParams = [ "console=ttyS2,1500000" ];
hardware.deviceTree.name = "rockchip/rk3568-odroid-m1.dtb";
# FIXME: The serial terminal does seem to throw random errors still, but that
# doesn't appear to crash anything. May need adjusted if you're
# actually using the GPIO.
}