Re: [Xen-devel] [PATCH v1] earlyprintk configuration for rk3399 boards

[Ігор Матущак <i.matushchak@xxxxxxxxxx>]

Hello Julien,

I suppose there is no such documentation, at least I didn't find any.

Bringing up XEN 4.10.0 on RK3399 is my pet-project.

My current target board is Ibox3399

At the moment I got dom0 running on this board and some test guest domain (both 4.4 kernels).

Actually no changes made to XEN (except earlyprintk) at the moment, Xen works from the box.

Some boot logs attached.

BR,

Ihor Matushchak

2018-07-06 13:36 GMT+03:00 Julien Grall <julien.grall@xxxxxxx>:

Hello,

On 04/07/18 21:55, ihor.matushchak@xxxxxxxxxx wrote:

From: Ihor Matushchak <ihor.matushchak@xxxxxxxxxx>

This patch enables earlyprintk for Rockchip rk3399 based SoC.

Is there any missing pieces in Xen to boot on Rockchip? I would also quite like to see some documentation how to boot Xen on that platform.

Cheers,

Ihor Matushchak (1):
   xen:arm:earlyprintk configuration for rk3399 boards

  docs/misc/arm/early-printk.txt | 1 +
  xen/arch/arm/Rules.mk          | 1 +
  2 files changed, 2 insertions(+)

--

Julien Grall

Attachment: rk3399-xen-boot.log
Description: Text Data

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel