[Xen-devel] [PATCH v2 5/6] ARM: Dummy Virtual Machine platform support

[Stefano Stabellini]

On Wed, 19 Dec 2012, Christopher Covington wrote:
> > What would be the point of using DCC?
> 
> It seemed like ARM-Ltd.-architected peripherals were picked for the timer and
> interrupt controller, so I wondered why not for the console as well. As best
> I'm aware, unless one ventures into the PrimeCell line with the PL011, DCC is
> the closest match for an officially architected console mechanism.

I certainly wouldn't want to mandate the presence of any devices that
require emulation in the DT for a virtual machine, including DCC, as
simple as it might be.