From 14f406ad6a962ef2a3f2cf122ee43b1148517dd9 Mon Sep 17 00:00:00 2001
From: Pascal Vizeli <pascal.vizeli@syshack.ch>
Date: Fri, 6 Jul 2018 19:08:52 +0200
Subject: [PATCH] Reset if we can't boot (#83)

* Update uboot-boot.sh

* Update uboot-boot.sh
---
 buildroot-external/board/raspberrypi/rpi3-64/uboot-boot.sh | 3 +++
 buildroot-external/board/raspberrypi/uboot-boot.sh         | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/buildroot-external/board/raspberrypi/rpi3-64/uboot-boot.sh b/buildroot-external/board/raspberrypi/rpi3-64/uboot-boot.sh
index a5bc68e06..6b04956e3 100644
--- a/buildroot-external/board/raspberrypi/rpi3-64/uboot-boot.sh
+++ b/buildroot-external/board/raspberrypi/rpi3-64/uboot-boot.sh
@@ -49,3 +49,6 @@ echo "Loading kernel"
 run load_kernel
 echo " Starting kernel"
 booti ${kernel_addr_r} - ${fdt_addr}
+
+echo "Fails on boot"
+reset
diff --git a/buildroot-external/board/raspberrypi/uboot-boot.sh b/buildroot-external/board/raspberrypi/uboot-boot.sh
index cceab02ff..d4f4e8fa9 100644
--- a/buildroot-external/board/raspberrypi/uboot-boot.sh
+++ b/buildroot-external/board/raspberrypi/uboot-boot.sh
@@ -49,3 +49,6 @@ echo "Loading kernel"
 run load_kernel
 echo " Starting kernel"
 bootz ${kernel_addr_r} - ${fdt_addr}
+
+echo "Fails on boot"
+reset