On Fri, Oct 06, 2017 at 07:36:27PM +0200, Frédéric Danis wrote: > I took a look at dmesg.txt and I did not find any trace related to serdev. > On the T100, where ttyS4 is used for Bluetooth, I can see the following > traces: > [ 11.732347] serial serial0: allocated controller > 0xffff880036229000 id 0 > [ 11.732470] serial serial0-0: device serial0-0 registered > [ 11.732475] serial serial0: serdev0 registered: dev:ffff880036229000 > [ 11.732478] serial serial0: tty port ttyS4 registered > > If serdev registration failed you should at least get something like: > serdev0 no devices registered: of:<> acpi:<> Only with debugging enabled (it's a dev_dbg). Johan -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
