Rodolfo Giometti wrote: > I suppose we can propose a configuration parameter for the LDISC > selection since this may be useful for LinuxPPS ldisc support too! Let's investigate first. And only after drawing the right conclusions propose something to somebody else.