cx-zivuos/headers/cx/zivuos/kernel.h

#ifndef CX_ZIVUOS_KERNEL_H_INCLUDED
#define CX_ZIVUOS_KERNEL_H_INCLUDED

void kernel_init(void);

#endif