#ifndef __OCCLUM_EDL_TYPES__
#define __OCCLUM_EDL_TYPES__

#include <time.h>               // import struct timespec
#include <sys/select.h>         // import fd_set
#include <sys/time.h>           // import struct timeval
#include <sys/uio.h>            // import struct iovec
#include <sys/vfs.h>            // import struct statfs
#include <occlum_pal_api.h>     // import occlum_stdio_fds

#endif /* __OCCLUM_EDL_TYPES__ */
