FENIX_kernel/include/kernel/init.h

#ifndef _KERNEL_INIT
#define _KERNEL_INIT

#include <stdio.h>

int test_libc(void);
int init(void);

#endif