mirage/xen-arm-builder — pull request #13 by talex5 (2014-07-31 12:56:58+00:00)
Title: Use upstream Linux, not sunxi-devel

Linux 3.16-rc7 has everything we need, and possibly some useful fixes too.

Also, a few minor fixes for booting.