(09-29-2018, 02:43 AM)mjd Wrote: But what if the new kernel will not boot, how can I recover?
Is it just possible to connect HDD to PC and change some conf file?
Yes, although you'll need to have something that can modify ext4 partitions, one way to do this is running a live linux distro on your pc etc, although if you have a serial dongle you can pick from different kernels on boot
Quote:Another question is about HDMI.
Is it normal that I do not have output on TV (two tested) in early boot? Serial Console is needed to see SPI boot menu and his messages?
HDMI output starts workingvery late in 2-3 seconds before login.
Unfortunately serial is simpler than hdmi and it kicks in long before hdmi.