#ifndef __STDLIB_H__
#define __STDLIB_H__

void assert(int boolean, char * msg);


#endif // __STDLIB_H__

#ifndef __STDLIB_H__
#define __STDLIB_H__

#include <kernel.h>
#include <task.h>
#include <types.h>

void assert(int boolean, char * msg);


#endif // __STDLIB_H__

Add kernel.h, task.h and types.h, forming a facade interface
Add kernel.h, task.h and types.h, forming a facade interface
