[PATCH v3 0/7] arm64: ARMv8 RTSM model SoC support

[Arnd Bergmann]

On Friday 04 January 2013, Catalin Marinas wrote:
> That's the third version of the patch series adding support for the
> ARMv8 RTSM model (vexpress-like) to the AArch64 kernel. There is no
> SoC-specific code under arch/arm64/ as the kernel makes use of the
> vexpress support already under drivers/ (apart from dts, defconfig and
> some Kconfig changes).


Whole series:

Acked-by: Arnd Bergmann <arnd at arndb.de>