[Reproducible-builds] Raspi 3 suitable for arm64?

[Axel Beckert]

Hi Holger,

Holger Levsen wrote:
> On Sonntag, 6. März 2016, Axel Beckert wrote:
> > I now wonder if a bunch of Raspberry Pi 3 -- since they have 64-bit
> > CPUs (IIRC an Allwinner A53T) -- would make us able to check
> > reproducible-builds for Debian arm64, too.
> 
> as far as I know, yes.

Good! :-)

> Though I would want to use some other arm64 boards as 
> well, to have hardware variety right from the start.

Good point.

> for example:
> http://www.heise.de/newsticker/meldung/RasPi-Angreifer-Odroid-C2-Schneller-
> etwas-teurer-aber-ohne-WLAN-3123182.html also has an arm64 cpu, but
> twice as much ram (2gb) as the raspi3 and 2 ghz cores instead of 1.2
> ghz ones on the raspi3.

And without the unnecessary WLAN and Bluetooth, yay! *drool* *want* :-)

Anyone knows if that thing fits into (most) Raspi cases? At least the
ports and screw holes look like being at the same position.

> I think we'd need 10-12 of such boards for a start, not sure if we still have 
> Debian funds to buy those (but I almost think so… Vagrant?) - providing we 
> would find someone interested+able to host these. Would you (Axel) be able 
> too?

I probably can host some, too, given that them only being reachable
via IPv6 suffices. (I currently only have a SixXS IPv6 tunnel at home,
but I'm thinking about switching my ISP at home to one with fiber and
native IPv6.)

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5
  `-    |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE