f9micro/f9-kernel — pull request #106 by georgekang (2014-11-27 11:23:08+00:00)
Title: Pager as standard resource management in user space and other support update and bug fix

1. Pager as standard resource management in user space
2. ipc timeout and error handling
3. Fix bug in ktimer