On Tue, 12 May 2020 17:52:07 +0200 Petr Mladek <pmladek@xxxxxxxx> wrote: > I know that there is the "do not break existing userspace" rule. The > question is if there is any user and if it is worth it. If you break user space, and nobody is around to notice it, did you really break it? The answer is "No" ;-) -- Steve
