firmware: reboot device using CSR if possible

timvideos · Jan 23, 2020 · 14a5150 · 14a5150
1 parent e34dc9b
commit 14a5150
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/firmware/reboot.c b/firmware/reboot.c
@@ -14,10 +14,17 @@
 
 extern void boot_helper(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int addr);
 
+#ifdef CSR_CTRL_BASE
+void reboot(void)
+{
+	ctrl_reset_write(1);
+}
+#else
 void reboot(void)
 {
 	boot(0, 0, 0, CONFIG_CPU_RESET_ADDR);
 }
+#endif
 
 void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, unsigned int r3, unsigned int addr)
 {