FreeBSD on HardKernel's ODROID platform

[Ruslan Bukin]

On Tue, Nov 12, 2013 at 02:59:49AM +0000, k at lightpowered.org wrote:
> 
> Hello,
> 
> Does anyone have experience to offer regarding FreeBSD on HardKernel's ODROID platform, say, http://www.hardkernel.com/renewal_2011/products/prdt_info.php?g_code=G135235611947
> 
> I would like to run this set up.
> 
> Thank you in advance!
> ^K

We have one unsolved issue on Prime version of Exynos4412
(odroid U2).

We suspect that uboot sets incorrect values for cpu clocks
and/or voltage regulators. In result we have prefetch abort
after first interrupt received.

I said Prime only, because I didn't remeber such behavior on
4412 non-Prime version. I able to confirm in a month or two,
when I get the old board.

I plan to take care about 5420 board (arndale octa), probably
the work will cover support for hardkernel odroid-xu 5410 also.

-Ruslan