L4_Sleep can work?

[gnitnaw]

Here is my code: https://github.com/gnitnaw/f9-kernel/blob/master/user/apps/led/main.c It works well.

At line 23 I would like to use L4_Sleep(L4_TimePeriod(1000)); to replace for loop. But I found it doesn't work. Is is normal? Thanks.

[ahmedammar]

@gnitnaw L4_TimePeriod takes microseconds as argument.