Turritopsis Dohrnii Teo En Ming wrote: > gmane.linux.debian.user > Good afternoon from Singapore, > > Can I install Debian on Raspberry Pi? When I am downloading Debian ISOs, > do I choose the arm64 architecture? > > I am looking forward to hearing from you soon. > > Thank you.
I booted in raspbian and debootstrapped debian armhf. I did copy the boot and kernel from raspbian and it works fine. I was going to do the same for amd64, but did not have the time. It seems then you need the kernel8 regards