FreeBSD on HardKernel's ODROID platform

[Kris Smith]

Hi,

Is there a way to run FreeBSD on the Arndale Octa 5420 board. I am
currently running Ubuntu packages by Linaro, but I am unable to switch
between the little and big cores. The big (A15s) are the only ones that
boot on startup w/ no way to switch to the little cores. Is there a way to
do this in FreeBSD?

Thank you.

-- 
Sincerely,

Kris

Kristopher J. Smith
Arizona State University
Computer Systems Engineering
Cell: 480.313.3974