sys_read(), sys_write(), and sys_lseek()
[akaros.git] / tests / kern_tests.h