/************************
 *** Team Kitty, 2019 ***
 ***    ProjectRED    ***
 ***********************/

#include <stdint.h>
#include <stddef.h>
#include <kernel/tty.h>

void panic(char*);

void gdb_end();