Changes in kernel/arch/amd64/src/userspace.c [88e43bc:c5429fe] in mainline

File:

• kernel/arch/amd64/src/userspace.c (modified) (1 diff)

kernel/arch/amd64/src/userspace.c

@@ -75 +75 @@
         );
 
-        unreachable();
+        /* Unreachable */
+        while (true)
+                ;
 }