#ifndef KERNEL_H
#define KERNEL_H

#include <stdint.h> //needed for uint16_t

#define KERNEL_HELLO_MESSAGE "FoolOs 0.0.1"
// #define DEBUG

#endif