Hi Christoffer, On 18 February 2013 20:38, Christoffer Dall <cdall@xxxxxxxxxxxxxxx> wrote: > Basically you just need to do a vexpress_defconfig, and then you have > to deselect compiling the kernel in Thumb-2 mode (hardware bug) and > select support for architected timers (and appropriate driver support > depending on what you're emulating, using virtio etc.). Thanks, disabling building kernel in thumb2 did the trick. Now booting 3.8-rc7 just fine. Riku _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
