From 01c4478099724941e23aa3905d0942971ac1aacd Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 11 Sep 2019 17:37:20 +0800
Subject: [PATCH] rpi: use default linux kernel

---
 rpi-etc-nixos/configuration.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/rpi-etc-nixos/configuration.nix b/rpi-etc-nixos/configuration.nix
index 3ae4d6f..16f036a 100644
--- a/rpi-etc-nixos/configuration.nix
+++ b/rpi-etc-nixos/configuration.nix
@@ -6,8 +6,6 @@ in
   boot.loader.grub.enable = false;
   boot.loader.generic-extlinux-compatible.enable = true;
  
-  boot.kernelPackages = pkgs.linuxPackages_latest;
-  
   boot.kernelParams = ["cma=32M console=ttyS1,115200n8"];
     
   fileSystems = {