#ifndef KERNEL_H
#define KERNEL_H

void kernel_main(void);
void terminal_initialize(void);
void terminal_writestring(const char* data);

#endif