From 982af0cc14dc91dec8b7bbb543eca0f66226a1f9 Mon Sep 17 00:00:00 2001
From: Fabrice Laurens <flaurens@cs.stanford.edu>
Date: Thu, 23 Jul 2020 23:27:41 +0200
Subject: [PATCH] Fix system LED setup for Raspberry Pi kernel 5.4.

---
 nabboot/nabboot.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nabboot/nabboot.py b/nabboot/nabboot.py
index c6aa6430..65fed5d1 100644
--- a/nabboot/nabboot.py
+++ b/nabboot/nabboot.py
@@ -51,7 +51,7 @@ def set_system_led(shutdown):
         f.write("none")
 
     with open("/sys/class/leds/led0/brightness", "w") as f:
-        f.write("255")
+        f.write("0")
 
 
 if __name__ == "__main__":