> Merging realtime mutexes should, in theory, not be a problem; they are not
> actually used unless explicitly configured into the kernel, and it is
> assumed that most users will not configure things that way.
I seriously doubt that. kernel server people may be afraid of rt-ification but some classes of users (the multimedia desktop crowd) want it badly. If it's merged it will be enabled by many people.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds