update

[l4.git] / kernel / fiasco / src / kern / ia32 / 32 / thread-dbf.cpp

diff --git a/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp b/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
index 84b28ef45cf8eed445b788b4209579d41deb2a94..968cc53f6af0af895733e972b0203a1a312eb6c7 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
+++ b/kernel/fiasco/src/kern/ia32/32/thread-dbf.cpp
@@ -96,5 +96,5 @@ Thread::handle_double_fault (void)
     }
 
   puts ("\033[1mRebooting...\033[0m");
-  pc_reset();
+  platform_reset();
 }