Fiasco.OC Kernel Semaphores r38->r40

[Daniel Waddington]

Hi,
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?

Thanks,
Daniel Waddington
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20121112/64734583/attachment.html>