kernel/kernel.h


1
2
3
4
5
6
7
8

#ifndef KERNEL_H
#define KERNEL_H

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

#define KERNEL_HELLO_MESSAGE "FoolOs 0.0.1"

#endif