I have recently received a Raspberry Pi 5, although I am still awaiting
a power supply so I can't try it yet.

Obviously I want a systemd-free system, and tried
https://arm-files.devuan.org/RaspberryPi Latest Builds/
but did not find anything obvious there. Perhaps that is not too
surprising at this early stage.

I could only guess from the file names, but presumably the "ext4" in the
names mean that support for ext4 is build into the kernel, or maybe the
initramfs only has that driver (do the arm versions use an initramfs?). I
generally use f2fs on flash media, but I guess that I might be able to
change that later.

But my basic questions are
1) is there an RPI5 devuan image, and
2) am I looking in the right place?

ael