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

2018-07-23 Thread Ihor Matushchak
Julien, Got it, thanks. *BR,* *Ihor Matushchak* 2018-07-23 17:59 GMT+03:00 Julien Grall : > > > On 23/07/18 15:47, Ihor Matushchak wrote: > >> Hi Julien, >> > > Hi Ihor, > > >> Sure, I would be glad to do that. >> >> I suppose it should be placed somewhere on wiki.xenproject.org < >>

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

2018-07-23 Thread Julien Grall
On 23/07/18 15:47, Ihor Matushchak wrote: Hi Julien, Hi Ihor, Sure, I would be glad to do that. I suppose it should be placed somewhere on wiki.xenproject.org ? We usually create a new platform under

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

2018-07-23 Thread Ihor Matushchak
Hi Julien, Sure, I would be glad to do that. I suppose it should be placed somewhere on wiki.xenproject.org? *BR,* *Ihor Matushchak* 2018-07-23 17:33 GMT+03:00 Julien Grall : > On 06/07/18 12:04, Ігор Матущак wrote: > >> Hello Julien, >> > > Hi Ihor, > > Sorry for the late reply. > > >> I

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

2018-07-23 Thread Julien Grall
On 06/07/18 12:04, Ігор Матущак wrote: Hello Julien, Hi Ihor, Sorry for the late reply. 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

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

2018-07-06 Thread Ігор Матущак
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

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

2018-07-06 Thread Julien Grall
Hello, On 04/07/18 21:55, ihor.matushc...@foobox.net wrote: From: Ihor Matushchak 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.

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

2018-07-04 Thread ihor . matushchak
From: Ihor Matushchak This patch enables earlyprintk for Rockchip rk3399 based SoC. 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(+) -- 2.7.4