UEFI and Raspberry Pi 3B+ anyone?

[Rob Newberry <robthedude%mac.com@localhost>]

Does anyone use UEFI and netbsd on a Raspberry Pi 3B+?

I downloaded both -current and -9 images from <http://invisible.ca>, and downloaded RPi UEFI images from <https://github.com/pbatard/RPi3>.

But if I put UEFI on either one (add RPI_EFI.fd, remove netbsd.img, tweak config.txt), the netbsd kernel panics on boot.

Does anyone else use this configuration?  Jared's been helping me quite a bit offline but I'm curious if anyone else does this -- I feel like I'm missing something obvious.

	5395160+2480792+2742516+1926164 [517040+702912+492669]=0x1016900 
	[   1.0000000] Copyright (c) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
	[   1.0000000]     2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017,
	[   1.0000000]     2018, 2019, 2020 The NetBSD Foundation, Inc.  All rights reserved.
	[   1.0000000] Copyright (c) 1982, 1986, 1989, 1991, 1993
	[   1.0000000]     The Regents of the University of California.  All rights reserved.

	[   1.0000000] NetBSD 9.0_RC1 (GENERIC64) #0: Fri Jan 24 20:21:53 UTC 2020
	[   1.0000000] 	mkrepro%mkrepro.NetBSD.org@localhost:/usr/src/sys/arch/evbarm/compile/GENERIC64
	[   1.0000000] total memory = 922 MB
	[   1.0000000] avail memory = 889 MB
	[   1.0000000] armfdt0 (root)
	[   1.0000000] simplebus0 at armfdt0: Sony UK Raspberry Pi 3 Model B+
	[   1.0000000] simplebus1 at simplebus0
	[   1.0000000] acpifdt0 at simplebus0
	[   1.0000000] acpifdt0: using EFI runtime services for RTC
	[   1.0000000] ACPI: RSDP 0x0000000033AE0014 000024 (v02 BC2836)
	[   1.0000000] ACPI: XSDT 0x0000000033AD00E8 00005C (v01 BC2836 EDK2     00000001      01000013)
	[   1.0000000] ACPI: FACP 0x0000000033AA0000 00010C (v05 BC2836 EDK2     00000001 MSFT 00000001)
	[   1.0000000] ACPI: DSDT 0x0000000033A70000 0014D2 (v05 MSFT   EDK2     00000002 INTL 20180105)
	[   1.0000000] ACPI: CSRT 0x0000000033AC0000 000169 (v00 MCRSFT RPI3EDK2 02000820 RPI3 00000097)
	[   1.0000000] ACPI: DBG2 0x0000000033AB0000 00005C (v00 MSFT   EDK2     00000001 MSFT 00000001)
	[   1.0000000] ACPI: GTDT 0x0000000033A90000 000050 (v01 MSFT   EDK2     00000001 MSFT 00000001)
	[   1.0000000] ACPI: APIC 0x0000000033A80000 00016C (v03 BC2836 EDK2     00000001 MSFT 00000001)
	[   1.0000000] ACPI: SPCR 0x0000000033A60000 000050 (v02 RPiEFI RPi3UEFI 00000001 INTL 20180105)
	[   1.0000000] ACPI: BGRT 0x0000000033930000 000038 (v01 INTEL  EDK2     00000002      01000013)
	[   1.0000000] ACPI: 1 ACPI AML tables successfully acquired and loaded
	[   1.0000000] acpi0 at acpifdt0: Intel ACPICA 20190405
	[   1.0000000] cpu0 at acpi0: Cortex-A53 r0p4 (Cortex V8-A core)
	[   1.0000000] cpu0: package 0, core 0, smt 0
	[   1.0000000] cpu0: IC enabled, DC enabled, EL0/EL1 stack Alignment check enabled
	[   1.0000000] cpu0: Cache Writeback Granule 16B, Exclusives Reservation Granule 16B
	[   1.0000000] cpu0: Dcache line 64, Icache line 64
	[   1.0000000] cpu0: L1 32KB/64B 2-way read-allocate VIPT Instruction cache
	[   1.0000000] cpu0: L1 32KB/64B 4-way write-back read-allocate write-allocate PIPT Data cache
	[   1.0000000] cpu0: L2 512KB/64B 16-way write-back read-allocate write-allocate PIPT Unified cache
	[   1.0000000] cpu0: revID=0x80, PMCv3, 4k table, 64k table, 16bit ASID
	[   1.0000000] cpu0: auxID=0x10000, FP, CRC32, NEON, rounding, NaN propagation, denormals, 32x64bitRegs, Fused Multiply-Add
	[   1.0000000] cpu1 at acpi0: Cortex-A53 r0p4 (Cortex V8-A core)
	[   1.0000000] cpu1: package 0, core 1, smt 0
	[   1.0000000] cpu2 at acpi0: Cortex-A53 r0p4 (Cortex V8-A core)
	[   1.0000000] cpu2: package 0, core 2, smt 0
	[   1.0000000] cpu3 at acpi0: Cortex-A53 r0p4 (Cortex V8-A core)
	[   1.0000000] cpu3: package 0, core 3, smt 0
	[   1.0000000] gtmr0 at acpi0: irq 3
	[   1.0000000] gtmr0: couldn't install interrupt handler
	[   1.0000000] SDC1 (BCM2847) at acpi0 not configured
	[   1.0000000] SDC2 (BCM2855) at acpi0 not configured
	[   1.0000000] PEPD (BCM2854) at acpi0 not configured
	[   1.0000000] USB0 (BCM2848) at acpi0 not configured
	[   1.0000000] GPU0 (BCM2850) at acpi0 not configured
	[   1.0000000] RPIQ (BCM2849) at acpi0 not configured
	[   1.0000000] VCIQ (BCM2835) at acpi0 not configured
	[   1.0000000] VCSM (BCM2856) at acpi0 not configured
	[   1.0000000] GPI0 (BCM2845) at acpi0 not configured
	[   1.0000000] I2C1 (BCM2841) at acpi0 not configured
	[   1.0000000] I2C2 (BCM2841) at acpi0 not configured
	[   1.0000000] SPI0 (BCM2838) at acpi0 not configured
	[   1.0000000] SPI1 (BCM2839) at acpi0 not configured
	[   1.0000000] PWM0 (BCM2844) at acpi0 not configured
	[   1.0000000] URT0 (BCM2837) at acpi0 not configured
	[   1.0000000] URTM (BCM2836) at acpi0 not configured
	[   1.0000000] BTH0 (BCM2EA6) at acpi0 not configured
	[   1.0000000] RHPX (MSFT8000) at acpi0 not configured
	[   1.0000000] genfb0 at simplebus1: Simple Framebuffer (1920x1080 32-bpp @ 0x3e402000)
	[   1.0000000] wsdisplay0 at genfb0 kbdmux 1: console (default, vt100 emulation)
	[   1.0000400] panic: cpu_initclocks: no timer registered
	[   1.0000400] cpu0: Begin traceback...
	[   1.0000400] trace fp ffffffc000ca5cd0
	[   1.0000400] fp ffffffc000ca5cf0 vpanic() at ffffffc00041b470 netbsd:vpanic+0x198
	[   1.0000400] fp ffffffc000ca5d50 panic() at ffffffc00041b540 netbsd:panic+0x48
	[   1.0000400] fp ffffffc000ca5de0 cpu_initclocks() at ffffffc0000513a8 netbsd:cpu_initclocks+0x20
	[   1.0000400] fp ffffffc000ca5e30 initclocks() at ffffffc0003c8fa0 netbsd:initclocks+0x40
	[   1.0000400] fp ffffffc000ca5e60 main() at ffffffc000524bdc netbsd:main+0x24c
	[   1.0000400] fp 0000000000000000 aarch64_start() at ffffffc00000183c netbsd:aarch64_start+0x103c
	[   1.0000400] cpu0: End traceback...
	Stopped in pid 0.1 (system) at  netbsd:cpu_Debugger+0x4:        ret
	db{0}>

Thanks in advance.

Rob