After Tanmay's work got merged upstream I built fresh EDK2 and booted Debian 'buster' installer.
Installed Debian, rebooted (by hand as we lack reboot - ASA-54) and system works.
lscpu shows caches:
root@debian:/home/hrw# lscpu Architecture: aarch64 Byte Order: Little Endian CPU(s): 1 On-line CPU(s) list: 0 Thread(s) per core: 1 Core(s) per socket: 1 Socket(s): 1 NUMA node(s): 1 Vendor ID: ARM Model: 0 Model name: Cortex-A57 Stepping: r1p0 BogoMIPS: 125.00 L1d cache: 32K L1i cache: 32K L2 cache: 512K NUMA node0 CPU(s): 0 Flags: fp asimd evtstrm aes pmull sha1 sha2 crc32 cpuid root@debian:/home/hrw#
PCIe support needs work:
[ 28.829137] e1000e: Intel(R) PRO/1000 Network Driver - 3.2.6-k [ 28.829160] e1000e: Copyright(c) 1999 - 2015 Intel Corporation. [ 28.855524] e1000e 0000:00:01.0: enabling device (0000 -> 0002) [ 28.857508] e1000e 0000:00:01.0: Interrupt Throttling Rate (ints/sec) set to dynamic conservative mode [ 28.858171] e1000e 0000:00:01.0 0000:00:01.0 (uninitialized): Failed to initialize MSI-X interrupts. Falling back to MSI interrupts. [ 28.858603] e1000e 0000:00:01.0 0000:00:01.0 (uninitialized): Failed to initialize MSI interrupts. Falling back to legacy interrupts. [ 28.928095] e1000e 0000:00:01.0 0000:00:01.0 (uninitialized): registered PHC clock
dmesg and lspci commands output attached.