On Tue, Feb 21, 2017 at 06:56:49PM +0100, Michael Stapelberg wrote:
On Tue, Feb 21, 2017 at 1:54 PM, gustavo panizzo <[email protected]> wrote:

The key advantage for me is that the upstream Linux kernel can be used,
i.e. a kernel that is supported by Debian can be used. That alone justifies
using arm64 for me.



I know Debian's kernel doesn't support RPI3 in armhf, but maybe it will at
some point. And if Debian's kernel never


IIUC, this is unlikely because people aren’t actively working on
upstreaming the armhf patches.

I didn't know that, now your reasoning makes perfect sense :)

thank you for your detailed response

--
1AE0 322E B8F7 4717 BDEA BF1D 44BB 1BA7 9F6C 6333

keybase: https://keybase.io/gfa

Reply via email to