On Fri, May 08, 2015 at 08:22:32PM +0200, Patrick Wildt wrote: > The rPi2 is quite nice, but its USB controller is utterly disgusting (dwc2). > > That one is also used in the Octeon (MIPS) and ODROID-C1. I haven???t gotten > it to work properly yet. > > The ODROID-C1 has some good peripherals, including Gigabit Ethernet. > > In the end none of them are supported in OpenBSD. So as long as no one steps > up to work on it, it doesn???t matter which one to get. > > \Patrick
The hardkernel exynos boards require closed bl1/tzsw binaries from samsung, and a bl2 binary signed by hardkernel which seems to be a u-boot spl constructed from somewhere in u-boot/board/samsung ? The c1 seems to need a closed bl1 binary from amlogic. While these can be found in hardkernel's u-boot repository under "sd_fuse" there is no license information. So it looks like they are not redistributable and thanks the the usual arm mess need to share a storage device with the os in order to boot making it impossible to have a miniroot that boots everywhere. At least the raspberry pi bootcode.bin and start.elf have a license https://github.com/raspberrypi/firmware/blob/master/boot/LICENCE.broadcom though it looks sub-par compared existing broadcom firmware licenses in the tree, ie: http://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/src/sys/dev/microcode/bnx/bnx-license?rev=HEAD&content-type=text/plain