Fiasco.OC Kernel Semaphores r38->r40
d.waddington at samsung.com
Mon Nov 12 23:03:23 CET 2012
I noticed that kernel semaphores seem to have vanished from Fiasco.OC
r40 (when they were definitely there in r38).
They seem to have been replaced with an ipc/sw irq solution - is this
true? Can someone explain the design rationale behind this? If we want
to back-port them into r40 is there anything we need to be aware of?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers