#ifndef KERNEL_PANIC_H
#define KERNEL_PANIC_H

void panic(char *s);

#endif