/*! \page kernel_oswrapper_page Wrappers over host OS functions

 \brief This sub-package of \ref kernel_page contains  wrappers over host OS functions.

 Main header(s) in `/kernel/oswrapper/`:
 - \ref kernel/oswrapper/feread.h
 - \ref kernel/oswrapper/rlimit.h
 - \ref kernel/oswrapper/timer.h
*/

// TODO: list those functions... and corresponding interpreter functions...?

