f9micro / f9-kernel

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

Pager as standard resource management in user space and other support update and bug fix #106

Closed georgekang closed 9 years ago

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