On 8 August 2013 13:59, Riku Voipio <riku.voipio@xxxxxxxxxx> wrote:
Yes 3.10 mainline, and with an rtsm dtb that I tested at the time, the guest uses pl110 instead of hdlcd.
I presume with "kernel tree" you mean mainline or something derived.
Yes 3.10 mainline, and with an rtsm dtb that I tested at the time, the guest uses pl110 instead of hdlcd.
_______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
