f9micro/f9-kernel — pull request #77 by ahmedammar (2014-03-29 01:41:06+00:00)
Title: ipc: add basic support for L4_Sleep

Basic implementation for L4_Sleep by setting thread to INACTIVE and kicking off a ktimer. This requires a way to know the platform clock speed, so for now it's hardcoded. Also, this probably won't work with tickless as the reload value is not static then.