fritzprix/tachyos — pull request #20 by fritzprix (2014-09-06 15:24:16+00:00)
Title: fix IPC class (msgq, mailq)

: IPC should provide two essential elements
first is synchronization for multiple thread access
second is ISR routine call & atomicity of critical section from ISR
-> first is achieved by implementing monitor lock
-> second is achieved by implementing api as system call