diff --git a/src/core/core.cpp b/src/core/core.cpp
index ee52370961f22222658a567bfa79551c2178d6ee..202cd332b0bf8013f5015d5a22d5ad780ca77a12 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -159,6 +159,7 @@ void System::Shutdown() {
     Kernel::Shutdown();
     HW::Shutdown();
     CoreTiming::Shutdown();
+    cpu_core.reset();
 
     LOG_DEBUG(Core, "Shutdown OK");
 }