path: root/src/kernel/panic.h

#ifndef PANIC_H
#define PANIC_H

#include <stdint.h>

void panic(char *message) __attribute__ ((noreturn));

#endif