[kwk1]

For what it's worth, plain Debian runs fine on those as well, most easily via https://raspi.debian.net/tested-images/