Hi Bhupinder,
On 22/06/17 08:38, Bhupinder Thakur wrote:
There are some TBD items which need to be looked at in the future:
1. Currently UEFI firmware logs the output to hvc console only. How can
UEFI firmware be made aware of pl011 console and how it can use it
as a console instead of hvc.
Would it be possible to summarize the discussions we had a couple of
weeks ago here?
2. Linux seems to have hvc console as the default console i.e. if no
console is specified then it uses hvc as the console. How can an
option be provided in Linux to select either hvc or pl011 as the
default console.
I am wondering what would happen if you use stdout-path in the
device-tree. Does it override the default console?
IHMO, the best way to select the default console would be using either
the SPCR (for ACPI) or stdout-path (for DT). But the HVC console does
not have any description in the firmware. It might be worth considering
adding description.
The drawback is the user would always have to specify the console on the
command line. I think this is not too bad for a first approach.
3. ACPI support for pl011 device.
I would be ok to defer this after PL011 series is merged.
Bhupinder Thakur (17):
xen/arm: vpl011: Move vgic register access functions to vreg.h
xen/arm: vpl011: Rename vgic_reg* functions definitions and calls to
vreg_reg*
Stefano, would it be possible to commit those patches? They are both
acked and it would avoid Bhupinder to carry them and rebase them if the
vGIC code has changed.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel