Fiasco.OC Kernel Semaphores r38->r40
Daniel Waddington <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Organization | Samsung R&D |
| Message-ID | <[email protected]> |
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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers