f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

ipc: add basic support for L4_Sleep #77

Closed ahmedammar closed 10 years ago

ahmedammar commented 10 years ago

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. f9micro/f9-kernel#76