my $debug_build = $r{xen_build_debug} || 'y';
+ my $earlyprintk = get_host_property($ho, 'EarlyPrintk', undef);
+
target_cmd_build($ho, 100, $builddir, <<END.
cd $builddir/xen-unstable
>.config
END
(nonempty($r{revision_seabios}) ? <<END : '').
echo >>.config SEABIOS_UPSTREAM_TAG='$r{revision_seabios}'
+END
+ (nonempty($earlyprintk) ? <<END : '').
+ echo >>.config CONFIG_EARLY_PRINTK=$earlyprintk
END
(nonempty($r{tree_linux}) ? <<END : '').
echo >>.config export $linux_url_envvar='$r{tree_linux}'