I have tried to call usleep() function from seL4 'main' thread and it crashes the system with error:
Caught cap fault in send phase at address 0x0
while trying to handle:
vm fault on code at address 0x200 with status 0x82000006
in thread 0xff807bfe2200 "rootserver" at address 0x200
How to use this library?