If you are looking for =cheap= virtualization support. It appears to be coming...
(no I don't expect you to make a board from the IC just pointing out there should be cheap solutions fairly soon.)

The IC has a DDR3L/DDR4 memory interface, a SATA3 6 Gbit/s interface, three triple speed Ethernet controllers, USB 3.0 with integrated PHY, PWM generation, and an LCD controller with touch support. It comes in a 19 x 19 mm package and LS1020A and LS1022A versions are also available. From $12.50 ea/10,000, samples Q1 2014.

On Tuesday, October 29, 2013 7:37 PM, Sid Boyce <> wrote:
On 29/10/13 21:40, Richard W.M. Jones wrote:
> On Tue, Oct 29, 2013 at 09:04:17PM +0000, Sid Boyce wrote:
>> The latest kernel I built and have running is with Mali
>> 400 GPU support and awaiting a reboot.
> [...]
>> As for the platform itself, I natively build kernels and everything
>> else including Qt-5.1.1 as it has enough power to not need
>> cross-compiling anything.
> How do you compile these kernels?  I mean to say, do you just compile
> the upstream 3.8.* stable kernels, or do you need to add patches, and
> if so what patches and from where?
> Rich.
I had problems after installing the HDMI image from which
date back to 2012. It's possible the later images for -XU will run on -XU.

This is under Ubuntu which would differ greatly from Fedora.
Rather lengthy but quite straightforward.
"git clone git:// -b odroid-3.8.y" which
creates a linux directory.
Checking  linux/Makefile
NAME = Remoralised Urchins Update

Then these commands:-
mv linux linux-
cd linux-
zcat /proc/config.gz > .config
make oldconfig
make-kpkg -j 4 --initrd linux_headers linux_image

which results in 2 .deb files
dkpg -i ../linux-headers-


Sid Boyce ... Hamradio License G3VBV, Licensed Private Pilot
Emeritus IBM/Amdahl Mainframes and Sun/Fujitsu Servers Tech Support
Senior Staff Specialist, Cricket Coach
Microsoft Windows Free Zone - Linux used for all Computing Tasks

arm mailing list