Hello,
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 With stack:
How to use this library? Thank you, Leonid