Re: Can I install Debian on Raspberry Pi?

[deloptes <deloptes@gmail.com>]

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