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

Reply via email to