2017-12-24 15:13:25 +00:00
|
|
|
{ lib, pkgs, ...}:
|
2016-02-26 10:29:48 +00:00
|
|
|
|
|
|
|
{
|
2017-12-24 15:13:25 +00:00
|
|
|
boot = {
|
|
|
|
consoleLogLevel = lib.mkDefault 7;
|
2020-02-19 11:01:02 +00:00
|
|
|
kernelPackages = lib.mkDefault pkgs.linuxPackages_rpi2;
|
2017-12-24 15:13:25 +00:00
|
|
|
kernelParams = [
|
|
|
|
"dwc_otg.lpm_enable=0"
|
|
|
|
"console=ttyAMA0,115200"
|
|
|
|
"rootwait"
|
|
|
|
"elevator=deadline"
|
|
|
|
];
|
|
|
|
loader = {
|
|
|
|
grub.enable = lib.mkDefault false;
|
|
|
|
generationsDir.enable = lib.mkDefault false;
|
|
|
|
raspberryPi = {
|
|
|
|
enable = lib.mkDefault true;
|
2020-10-20 04:25:14 +00:00
|
|
|
version = lib.mkDefault 2;
|
2017-12-24 15:13:25 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2016-02-26 10:29:48 +00:00
|
|
|
|
2017-12-24 15:13:25 +00:00
|
|
|
nixpkgs.config.platform = lib.systems.platforms.raspberrypi2;
|
2017-07-04 23:16:22 +00:00
|
|
|
|
2017-12-24 15:13:25 +00:00
|
|
|
# cpufrequtils doesn't build on ARM
|
|
|
|
powerManagement.enable = lib.mkDefault false;
|
2016-02-26 10:29:48 +00:00
|
|
|
|
2017-12-24 15:13:25 +00:00
|
|
|
services.openssh.enable = lib.mkDefault true;
|
2017-07-04 23:16:22 +00:00
|
|
|
}
|