diff --git a/right/src/usb_protocol_handler.c b/right/src/usb_protocol_handler.c
index 482f003..8f99a9e 100644
--- a/right/src/usb_protocol_handler.c
+++ b/right/src/usb_protocol_handler.c
@@ -103,6 +103,10 @@ void GetSystemProperty() {
 }
 
 void JumpToBootloader() {
+    // We should reset the device here
+    SCB->AIRCR = (0x5FA<<SCB_AIRCR_VECTKEY_Pos)|SCB_AIRCR_SYSRESETREQ_Msk;
+    //SCB->AIRCR = 0x05fA0002; // If the masked version doesn't work, this should also reset the core.
+    for(;;);
 }
 
 void GetSetTestLed()