From ff09666bfe7b02a99260374003682a609dacb32d Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 16 Oct 2019 15:48:20 +0800
Subject: [PATCH] rpi: disable /boot partition

https://github.com/NixOS/nixpkgs/issues/22014#issuecomment-290152982
---
 rpi-etc-nixos/configuration.nix | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/rpi-etc-nixos/configuration.nix b/rpi-etc-nixos/configuration.nix
index 16f036a..16fdcd5 100644
--- a/rpi-etc-nixos/configuration.nix
+++ b/rpi-etc-nixos/configuration.nix
@@ -9,10 +9,6 @@ in
   boot.kernelParams = ["cma=32M console=ttyS1,115200n8"];
     
   fileSystems = {
-    "/boot" = {
-      device = "/dev/disk/by-label/NIXOS_BOOT";
-      fsType = "vfat";
-    };
     "/" = {
       device = "/dev/disk/by-label/NIXOS_SD";
       fsType = "ext4";