mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-11-10 21:19:41 +01:00
3743ae21f5
Also extract documentation from raspberry-pi/2/ profile.
12 lines
317 B
Nix
12 lines
317 B
Nix
{ config, pkgs, ... }:
|
|
|
|
{
|
|
environment.systemPackages = with pkgs; [ ipmitool ];
|
|
|
|
boot.kernelModules = [ "jc42" "ipmi_devintf" "ipmi_si" "tpm_rng" ];
|
|
|
|
# services.cron.systemCronJobs = [
|
|
# # Reset 5-minute watchdog timer every minute
|
|
# "* * * * * ${pkgs.ipmitool}/bin/ipmitool raw 0x30 0x97 1 5"
|
|
# ];
|
|
}
|