On Mon, Mar 14, 2016 at 09:42:22PM +0000, KatolaZ wrote:
> Well, you can also use armhf (32bits), and live happy :)

That would be as bad as using i386 instead of amd64 or x32 (the equivalent
of x32 is arm32 which is not a Debian architecture yet -- as the difference
between armhf and arm32 is far less than between i386 and x32).

> I believe we also have arm64 in Devuan, but again, that would imply
> installing Devuan from scratch, instead than upgrading from Debian (you
> can't change the architecture of an installed Debian system, to the best
> of my knowledge, could you?).

You can, there's just no automated way to do so. You can read more on
https://wiki.debian.org/CrossGrading

> And the rpi boot process is not just not-standard, but a bit convoluted
> too...

Right, it'd be nice to hear from someone with a clue of rpi boot whether it
currently works on arm64. At least Raspbian has currently no arm64
version...

--
A tit a day keeps the vet away.