Fiasco.OC Kernel Semaphores r38->r40

Daniel Waddington d.waddington at
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?

Daniel Waddington
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list