On Thu, 23 May 2013 14:34:38 +0200, Albert ARIBAUD <albert.u.boot@xxxxxxxxxxx> wrote: > Hi Marc, > So if you don't want to use 'TRM' (which I can understand), then > at least please replace 'ARM ARM' with 'ARMv7-AR Reference Manual'. > Stating the DDI* reference is not a must, unless you want to specify > a given revision (but then I suggest adding it after 'Manual' too). My bad: this last paragraph was actually directed at Andrew, not Marc. Amicalement, -- Albert. _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
