Hi Stefano,
On 02/11/2018 23:45, Stefano Stabellini wrote:
- info->initrd_bootmodule = boot_module_find_by_kind(BOOTMOD_RAMDISK);
+ printk("Loading Dom%d kernel from boot module @ %"PRIpaddr"\n",
+ info->d->domain_id, info->kernel_bootmodule->start);
NIT: You probably want to use the new %pd format. This will allow you to print a
domain more consistently and also drop ->domain_id :).
The rest of the code looks good:
Acked-by: Julien Grall <julien.gr...@arm.com>
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
