search

f9micro / f9-kernel

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

Fix some bugs in ipc_deliver #75

Closed georgekang closed 10 years ago

georgekang commented 10 years ago
  1. Issue#72
  2. Fix typed message is not copied to receiver.
  3. Ipc can be issued only when both sender and receiver are in blocked state.