[Reproducible-builds] arm64 reproducible build network

[Axel Beckert]

Hi,

Holger Levsen wrote:
> On Tue, Dec 06, 2016 at 09:24:50AM -0800, Martin Michlmayr wrote:
> > I heard from a Linaro contact that LeMaker wasn't able to fix the PCIE
> > issue and was going to produce the board without, but that update is
> > from October and there has been nothing since. :(
[…]
> on the plus side we now got access to some moonshot-arm64 hardware, so
> at least we'll be testing on arm64 soon. though for diversity reasons,
> we absolutly still like to get access to LeMaker boards too!

Not that I want to undermine Martin's efforts, but I wonder if we
should start by taking some more boards into account for arm64, too:

* Raspberry Pi 3 now works also with arm64:
  https://wiki.debian.org/RaspberryPi3
  https://people.debian.org/~stapelberg/raspberrypi3/
  (Serial console only as of now, but that should be ok-ish for a
  reproducible builds node.)

* Odroid C2 works fine with arm64, too. Not sure what's needed to get
  all kernel modifications upstreamed:
  https://www.armbian.com/odroid-c2/

I could imagine providing the hardware and hosting for a few such
devices. (Maybe in addition to the hopefully somewhen arriving LeMaker
Cello boards.)

http://www.pollin.de/shop/dt/ODA1OTgxOTk-/Bauelemente_Bauteile/Entwicklerboards/Odroid/ODROID_C2_Einplatinen_Computer_1_5_GHz_QuadCore_2_GB_RAM_4x_USB.html
http://www.pollin.de/shop/dt/OTQxNzkyOTk-/Bauelemente_Bauteile/Entwicklerboards/Raspberry_Pi/Raspberry_Pi_3_Model_B.html

I'm aware of the connectivity requirements, but wrt. Raspberry Pi 3
and Odroid C2 I wonder about disk space and speed requirements. Would
e.g. a Class 10 UHS-1 8 GB microSD card suffice?

http://www.pollin.de/shop/dt/OTQ2NzcyOTk-/Computer_Informationstechnik/Speichermedien/microSD_SDHC_Speicherkarten/MicroSDHC_Card_VERBATIM_44004_8_GB.html

Or are the probably faster but also more expensive eMMC devices
preferred?

http://www.pollin.de/shop/dt/NTk0OTgxOTk-/Bauelemente_Bauteile/Entwicklerboards/Odroid/ODROID_C2_eMMC_Modul_8_GB_mit_Linux.html

Or is even some real hard disk or SSD needed?

As a power supply e.g. this one might suffice:
http://www.pollin.de/shop/dt/MjUyODQ2OTk-/Stromversorgung/Ladegeraete/USB_Ladegeraete/4_fach_USB_Lader_LOGILINK_PA0096_weiss.html

		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