f9micro / f9-kernel

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

Fix: ipc_deliver must check from_thr intend #139

Closed louisom closed 7 years ago

louisom commented 7 years ago

As an #138 hotfix.

jserv commented 7 years ago

You should mention "Close #138" in GIT commit messages.