#ifndef __LIB_SYS_SYSCALL_H__
# define __LIB_SYS_SYSCALL_H__

#include <stddef.h>
#include <stdint.h>

// include Vhex kernel real syscall
#include <asm/unistd_32.h>

//TODO include Casio's syscall !! 

#endif /*__LIB_SYS_SYSCALL_H__*/