Richard,
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.)

http://www.electronicproducts.com/Digital_ICs/Microprocessors_Microcontrollers_DSPs/Low_power_6_000_CoreMark_CPU_uses_Cortex-A7.aspx

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 <sboyce@blueyonder.co.uk> 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 3.8.13.10 with Mali
>> 400 GPU support and 3.8.13.11 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
http://www.odroid.in/mirror/old-releases/ODROID-X/fedora-18-3.6.8/ 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://github.com/hardkernel/linux.git -b odroid-3.8.y" which
creates a linux directory.
Checking  linux/Makefile
VERSION = 3
PATCHLEVEL = 8
SUBLEVEL = 13
EXTRAVERSION = .11
NAME = Remoralised Urchins Update

Then these commands:-
mv linux linux-3.8.13.11
cd linux-3.8.13.11
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-3.8.13.11_3.8.13.11-10.00.Custom_armhf.deb
../linux-image-3.8.13.11_3.8.13.11-10.00.Custom_armhf.deb

Regards
Sid.

--
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
arm@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/arm