From edf343ba2a7d92f1a099bf4032aa6c35fe162669 Mon Sep 17 00:00:00 2001
From: Samuel Dionne-Riel <samuel@dionne-riel.com>
Date: Fri, 17 Jan 2020 18:28:43 -0500
Subject: [PATCH] Fix notes about reboot not working

---
 README.md | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index a8c2084..cb264f4 100644
--- a/README.md
+++ b/README.md
@@ -30,7 +30,6 @@ compatibility.
 ### Known issues
 
  * Suspend (or resume) fails.
- * Rebooting fails somewhere early in the u-boot SPL.
 
 ### Tips
 
@@ -93,13 +92,11 @@ $ lsblk /dev/disk/by-path/platform-fe330000.sdhci && sudo dd if=result/idbloader
 
 ## Keyboard firmware
 
-As rebooting doesn't work here, poweroff and boot manually.
-
 ```
  $ nix-build -A pkgs.pinebookpro-keyboard-updater
  $ sudo ./result/bin/updater step-1
- $ sudo poweroff
+ $ sudo reboot
  # ...
  $ sudo ./result/bin/updater step-2
- $ sudo poweroff
+ $ sudo reboot
 ```