[Macchiato] Trying to install mainline debian 9

[Andrew Elwell]

On Thu, 6 Sep 2018 at 06:53, Jeremy Linton <jeremy.linton at arm.com> wrote:
> Putting the UEFI image on SD, I can successfully boot the fedora
> installer from USB (rawhide/f29, haven't tried PXE) and the resulting
> installed image can also boot from SATA. It still has a few warts (ACPI
> for one) but, I imagine that a fairly recent opensuse/debian should at
> least boot.

Thanks - that indeed works. I managed to get a debian installer
working OK off USB.

Thats the good news,
The Bad news is that there's no mvpp2 driver for the default 4.9 arm
kernels, Backports has a 4.17 kernel which looks better:

root at debian:/lib/modules# ls
4.17.0-0.bpo.3-arm64  4.9.0-7-arm64  4.9.0-8-arm64
root at debian:/lib/modules# find . -name mvpp2.ko
./4.17.0-0.bpo.3-arm64/kernel/drivers/net/ethernet/marvell/mvpp2.ko
root at debian:/lib/modules#

but if I try and boot that, all I see on the console is

Loading Linux 4.17.0-0.bpo.3-arm64 ...
Loading initial ramdisk ...
EFI stub: Booting Linux Kernel...
EFI stub: Using DTB from configuration table
EFI stub: Exiting boot services and installing virtual address map...

and nothing else happens.

Even adding earlyprintk and friends didn't reveal any more.

Any suggestions?

(using a USB ethernet dongle longterm kinda defeats the purpose of the
macchiatobin)

Many thanks

Andrew