#ifndef FOOLOS_KERNEL_H
#define FOOLOS_KERNEL_H

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

#define KERNEL_HELLO_MESSAGE "FoolOs 0.0.5"
// #define DEBUG

#endif