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