On 07/19/2017 10:11 PM, Gabriel Pérez-Cerezo wrote: > It may be named ttyHV0, but as much as I have tried it with that name, > it still doesn't work. However, I've been able to boot to shell > (bypassing init) and there is no /dev/ttyHV0 in the filesystem. I'll see > if I can try more stuff tomorrow.
Can you check the contents of /sys/dev/char or /sys/class/tty? Maybe the driver for the serial console is missing in the kernel and we need to enable it. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - [email protected] `. `' Freie Universitaet Berlin - [email protected] `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913

