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