Boot images for RPI4s?

[Joseph Koshy <jkoshy%netbsd.org@localhost>]

Greetings.

What is a good boot image to use with the newer RPI4 models?

I tried booting an RPI4(8G) model with a recent image from http://nycdn.netbsd.org/pub/NetBSD-daily/HEAD/.../evbarm-aarch64/binary/gzimg/arm64.img.

However, the boot loader on the PI refuses to boot from this image, and instead displays the following error:

  0x00d03115 0x00000000 0x00000001
  start4.elf: is not compatible
  This board requires newer software

Am I using the wrong boot image for an rPI4?

Thanks,
Joseph Koshy