1 2 3 4 5 6 7 8 9 10 11
#include <stdio.h> #include <stdlib.h> __attribute__((__noreturn__)) void abort(void) { // TODO: Add proper kernel panic. printf("kernel: panic: abort()\n"); asm volatile("hlt"); while (1) { } __builtin_unreachable(); }