[U-Boot] [PATCH 1/6] ARM: add secure monitor handler to switch to non-secure state

[Albert ARIBAUD]

On Thu, 23 May 2013 14:34:38 +0200, Albert ARIBAUD
<albert.u.boot at aribaud.net> 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.