We don't want to have to set a host property for each ARM host.
Julien writes:
This command line should always work for arm64. If the device-tree
does not provide the property `stdout-path' then it is a bug. We
want the command line to be as agnostic as possible from the
platform.
Reported-by: Julien Grall <julien.grall@arm.com>
Acked-by: Julien Grall <julien.grall@arm.com>
Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
sub setupboot () {
my $xenhopt= "conswitch=x watchdog noreboot";
- my $cons= get_host_property($ho, 'XenSerialConsole', 'com1');
+ my $cons= get_host_property($ho, 'XenSerialConsole',
+ $r{arch} =~ m/^arm/ ? 'dtuart'
+ : 'com1');
if ( $cons eq "com1" ) {
$xenhopt .= " com1=$c{Baud},8n1 console=com1,vga gdb=com1";