On 2017-04-17 19:29, Mark Kettenis wrote:
From: Tuyosi T <nakajin.fu...@gmail.com>
Date: Tue, 18 Apr 2017 03:02:04 +0900
how about odroid ?
The Odroid-XU4, and almost certainly the Odroid-XU3 use a Samsung
Exynos5 SoC and are supported by OpenBSD/armv7. Only USB works, but
the onboard ethernet is ure(4), so that works as well. You need a
closed-source first-stage "secure" bootloader from Hardkernel and it
is unclear under what terms that binary can be redistributed. So
you're unlikely to see official OpenBSD installation images for this
hardware. The first-stage bootloader remains active and provides some
power management interfaces to the non-secure world. This interface
is used to spin up secondary CPU cores. Unfortunately it doesn't
provide the standard PSCI interface for that. On the bright side,
Hardkernel provides a version of the first-stage bootloader that can
load mainline U-Boot.
Wait this should be added to https://www.openbsd.org/arm64.html /
https://www.openbsd.org/armv7.html ?
The situation on the Odroid-C2 is worse. The Amlogic S905 SoC needs a
closed-source first-stage bootloader as well, and this bootloader can
only boot a U-Boot that has been signed. Hardkernel provides a
closed-source Linux binary to do the signing. Not good. Therefore
there is no real interest in supporting this hardware in OpenBSD/arm64.
So derpy. Luckily the Amlogic S905 is really unimportant in the
ecosystem - it's slow, not cheap, etc.
