Re: [Xen-devel] unable start xen in hikey

2016-08-22 Thread Julien Grall



On 19/08/16 23:44, Kamenee Arumugam wrote:

Hi Julien/Chen,


Hello,


Thanks, it is working for me after setting CONFIG_ARCH_HISI = y in
config file. So, when i tried to boot linux thru startup.sh, it seems to
hangs and below are the traces of log:

Press ESC in 1 seconds to skip startup.nsh or any other key to continue.
Shell> FS0:
FS0:\> Image console=ttyAMA3,115200 root=/dev/mmcblk1p4 rootwait rw
efi=noruntime
EFI stub: Booting Linux Kernel...
EFI stub: Generating empty DTB
EFI stub: Exiting boot services and installing virtual address map...

Am I missing some configuration in my kernel or patches to handle
virtual address map?


I am not sure to follow. Did you ever try to boot Linux on hikey without 
Xen?


I would recommend you to get Linux working natively (i.e without Xen) 
first and then add Xen specific options in your config.


Regards,


--
Julien Grall

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-19 Thread Kamenee Arumugam
Hi Julien/Chen,

Thanks, it is working for me after setting CONFIG_ARCH_HISI = y in config
file. So, when i tried to boot linux thru startup.sh, it seems to hangs and
below are the traces of log:

Press ESC in 1 seconds to skip startup.nsh or any other key to continue.
Shell> FS0:
FS0:\> Image console=ttyAMA3,115200 root=/dev/mmcblk1p4 rootwait rw
efi=noruntime
EFI stub: Booting Linux Kernel...
EFI stub: Generating empty DTB
EFI stub: Exiting boot services and installing virtual address map...

Am I missing some configuration in my kernel or patches to handle virtual
address map?


Thanks,
Kamenee

On Fri, Aug 19, 2016 at 10:02 AM, Julien Grall  wrote:

> Hello,
>
> On 18/08/16 22:11, Kamenee Arumugam wrote:
>
>> I am using linux kernel from 96 boards repo:
>>  https://github.com/96boards/linux.git
>>  and I compile using this command
>> as below:
>>
>> make Image -j24 arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts
>>
>
> What is your .config? Have you enabled the related option for XEN?
>
> Below a list of Xen specific options I have enabled in my kernel:
>
> CONFIG_XEN_DOM0=y
> CONFIG_XEN=y
> CONFIG_XEN_BLKDEV_FRONTEND=y
> CONFIG_XEN_BLKDEV_BACKEND=y
> CONFIG_XEN_NETDEV_FRONTEND=y
> CONFIG_XEN_NETDEV_BACKEND=y
> CONFIG_HVC_XEN=y
> CONFIG_HVC_XEN_FRONTEND=y
> CONFIG_XEN_FBDEV_FRONTEND=y
> CONFIG_XEN_BALLOON=y
> CONFIG_XEN_SCRUB_PAGES=y
> CONFIG_XEN_DEV_EVTCHN=y
> CONFIG_XEN_BACKEND=y
> CONFIG_XENFS=y
> CONFIG_XEN_COMPAT_XENFS=y
> CONFIG_XEN_SYS_HYPERVISOR=y
> CONFIG_XEN_XENBUS_FRONTEND=y
> CONFIG_XEN_GNTDEV=y
> CONFIG_XEN_GRANT_DEV_ALLOC=y
> CONFIG_SWIOTLB_XEN=y
> CONFIG_XEN_PRIVCMD=y
> CONFIG_XEN_EFI=y
> CONFIG_XEN_AUTO_XLATE=y
>
> Regards,
>
> --
> Julien Grall
>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-19 Thread Julien Grall

Hello,

On 18/08/16 22:44, Kamenee Arumugam wrote:

Please avoid to top-post on the mailing list.


Yes, I did try "make dtbs" too, but no difference and it doesn't
generate .dtb file. here is the cmd I used:

make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- Image  dtbs


The hikey device tree will only built if you have CONFIG_ARCH_HISI 
enabled in your .config. Can you check if it is the case?


Regards,

--
Julien Grall

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-19 Thread Julien Grall

Hello,

On 18/08/16 22:11, Kamenee Arumugam wrote:

I am using linux kernel from 96 boards repo:
 https://github.com/96boards/linux.git
 and I compile using this command
as below:

make Image -j24 arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts


What is your .config? Have you enabled the related option for XEN?

Below a list of Xen specific options I have enabled in my kernel:

CONFIG_XEN_DOM0=y
CONFIG_XEN=y
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_XEN_BLKDEV_BACKEND=y
CONFIG_XEN_NETDEV_FRONTEND=y
CONFIG_XEN_NETDEV_BACKEND=y
CONFIG_HVC_XEN=y
CONFIG_HVC_XEN_FRONTEND=y
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_BALLOON=y
CONFIG_XEN_SCRUB_PAGES=y
CONFIG_XEN_DEV_EVTCHN=y
CONFIG_XEN_BACKEND=y
CONFIG_XENFS=y
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_XEN_XENBUS_FRONTEND=y
CONFIG_XEN_GNTDEV=y
CONFIG_XEN_GRANT_DEV_ALLOC=y
CONFIG_SWIOTLB_XEN=y
CONFIG_XEN_PRIVCMD=y
CONFIG_XEN_EFI=y
CONFIG_XEN_AUTO_XLATE=y

Regards,

--
Julien Grall

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-19 Thread Julien Grall

Hello,

On 18/08/16 16:50, Chenxiao Zhao wrote:

Please avoid top-posting on the mailing list.


It seems that you are using a dtb file that is not compatible with XEN
hypervisor on hikey. I strongly suggest you compile the kernel from
source in 96boards's repository. When you compile the kernel it will
compile the dtb from dts as well.


It would be good to have the wiki page [1] updated in this case.

Regards,

[1] https://wiki.xenproject.org/wiki/HiKey

--
Julien Grall

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-18 Thread Kamenee Arumugam
Yes, I did try "make dtbs" too, but no difference and it doesn't generate
.dtb file. here is the cmd I used:

make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- Image  dtbs


Thanks,
Kamenee

On Thu, Aug 18, 2016 at 5:22 PM, Meng Xu  wrote:

> On Thu, Aug 18, 2016 at 5:11 PM, Kamenee Arumugam
>  wrote:
> > Hi Konrad,
> >
> > I have already specified that in my xen.cfg :
> >
> > options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
> > dtuart=/smb/uart@f7113000
> > kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
> > dtb=hi6220-hikey.dtb
> >
> > Chen,
> >
> > I am using linux kernel from 96 boards repo:
> > https://github.com/96boards/linux.git and I compile using this command
> as
> > below:
> >
> > make Image -j24 arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts
> >
> > There was no dtb file produced after the compilation finished. But i saw
> a
> > trace log mentioning , make: Nothing to be done for
> > `arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts'.
> >
> >  Correct me if the make command above is wrong?
>
> Then did you compile the device tree using command "make dtbs" as I
> mentioned in previous email?
>
>
> Meng
> >
> >
> > Thanks,
> > Kamenee
> >
> > On Thu, Aug 18, 2016 at 3:46 PM, Konrad Rzeszutek Wilk
> >  wrote:
> >>
> >> On Wed, Aug 17, 2016 at 06:30:23PM -0400, Kamenee Arumugam wrote:
> >> > Hi Chen,
> >> >
> >> > My previous issue was resolved when i used hi6220-hikey.dtb from this
> >> > source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
> >> > download linux kernel, there doesn't seems to contain
> hi6220-hikey.dtb.
> >> >
> >> > But now it got stuck while loading Dom0 and below are log traces:
> >> >
> >> >
> >> > (XEN) *** LOADING DOMAIN 0 ***
> >> > (XEN) Loading kernel from boot module @ 7a037000
> >> > (XEN) Loading ramdisk from boot module @ 0ae0
> >> > (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
> >> > (XEN) BANK[0] 0x004000-0x006000 (512MB)
> >> > (XEN) Grant table range: 0x0005c0-0x0005c54000
> >> > (XEN) Loading zImage from 7a037000 to
> >> > 4008-40ce8c00
> >> > (XEN) Loading dom0 initrd from 0ae0 to
> >> > 0x4820-0x48a0
> >> > (XEN) Allocating PPI 16 for event channel interrupt
> >> > (XEN) Loading dom0 DTB to 0x4800-0x4800af11
> >> > (XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
> >> > (XEN) ..done.
> >> > (XEN) Initial low memory virq threshold set at 0x4000 pages.
> >> > (XEN) Std. Loglevel: Errors and warnings
> >> > (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
> >> > (XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch
> >> > input
> >> > to Xen)
> >> > (XEN) Freed 284kB init memory.
> >> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
> >> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
> >> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
> >> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
> >> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
> >> > (XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
> >> > (XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
> >> > (XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0
> >> >
> >> > It just hang there after the last line above.
> >> > I have looked into those messages " d0v3: vGICD: unhandled word write
> >> > 0x to ICACTIVER0"  and linux kernel already taking care to
> >> > ignore
> >> > it. Therefore, I believe this is not contributing to there hang here.
> >> > Any
> >> > idea on this issue?
> >>
> >> It looks like you did not let the kernel use the console so nothing
> >> was printed.
> >>
> >> Make sure you have 'console=hvc0' on your Linux line.
> >
> >
>
>
>
> --
> ---
> Meng Xu
> PhD Student in Computer and Information Science
> University of Pennsylvania
> http://www.cis.upenn.edu/~mengxu/
>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-18 Thread Meng Xu
On Thu, Aug 18, 2016 at 5:11 PM, Kamenee Arumugam
 wrote:
> Hi Konrad,
>
> I have already specified that in my xen.cfg :
>
> options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
> dtuart=/smb/uart@f7113000
> kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
> dtb=hi6220-hikey.dtb
>
> Chen,
>
> I am using linux kernel from 96 boards repo:
> https://github.com/96boards/linux.git and I compile using this command as
> below:
>
> make Image -j24 arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts
>
> There was no dtb file produced after the compilation finished. But i saw a
> trace log mentioning , make: Nothing to be done for
> `arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts'.
>
>  Correct me if the make command above is wrong?

Then did you compile the device tree using command "make dtbs" as I
mentioned in previous email?


Meng
>
>
> Thanks,
> Kamenee
>
> On Thu, Aug 18, 2016 at 3:46 PM, Konrad Rzeszutek Wilk
>  wrote:
>>
>> On Wed, Aug 17, 2016 at 06:30:23PM -0400, Kamenee Arumugam wrote:
>> > Hi Chen,
>> >
>> > My previous issue was resolved when i used hi6220-hikey.dtb from this
>> > source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
>> > download linux kernel, there doesn't seems to contain hi6220-hikey.dtb.
>> >
>> > But now it got stuck while loading Dom0 and below are log traces:
>> >
>> >
>> > (XEN) *** LOADING DOMAIN 0 ***
>> > (XEN) Loading kernel from boot module @ 7a037000
>> > (XEN) Loading ramdisk from boot module @ 0ae0
>> > (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
>> > (XEN) BANK[0] 0x004000-0x006000 (512MB)
>> > (XEN) Grant table range: 0x0005c0-0x0005c54000
>> > (XEN) Loading zImage from 7a037000 to
>> > 4008-40ce8c00
>> > (XEN) Loading dom0 initrd from 0ae0 to
>> > 0x4820-0x48a0
>> > (XEN) Allocating PPI 16 for event channel interrupt
>> > (XEN) Loading dom0 DTB to 0x4800-0x4800af11
>> > (XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
>> > (XEN) ..done.
>> > (XEN) Initial low memory virq threshold set at 0x4000 pages.
>> > (XEN) Std. Loglevel: Errors and warnings
>> > (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
>> > (XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch
>> > input
>> > to Xen)
>> > (XEN) Freed 284kB init memory.
>> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
>> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
>> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
>> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
>> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
>> > (XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
>> > (XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
>> > (XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0
>> >
>> > It just hang there after the last line above.
>> > I have looked into those messages " d0v3: vGICD: unhandled word write
>> > 0x to ICACTIVER0"  and linux kernel already taking care to
>> > ignore
>> > it. Therefore, I believe this is not contributing to there hang here.
>> > Any
>> > idea on this issue?
>>
>> It looks like you did not let the kernel use the console so nothing
>> was printed.
>>
>> Make sure you have 'console=hvc0' on your Linux line.
>
>



-- 
---
Meng Xu
PhD Student in Computer and Information Science
University of Pennsylvania
http://www.cis.upenn.edu/~mengxu/

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-18 Thread Kamenee Arumugam
Hi Konrad,

I have already specified that in my xen.cfg :

options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
dtuart=/smb/uart@f7113000
kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
dtb=hi6220-hikey.dtb

Chen,

I am using linux kernel from 96 boards repo:  https://github.com/96boards/
linux.git  and I compile using this
command as below:

make Image -j24 arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts

There was no dtb file produced after the compilation finished. But i saw a
trace log mentioning , make: Nothing to be done for
`arch/arm64/boot/dts/hisilicon/hi6220-hikey.dts'.

 Correct me if the make command above is wrong?


Thanks,
Kamenee

On Thu, Aug 18, 2016 at 3:46 PM, Konrad Rzeszutek Wilk <
konrad.w...@oracle.com> wrote:

> On Wed, Aug 17, 2016 at 06:30:23PM -0400, Kamenee Arumugam wrote:
> > Hi Chen,
> >
> > My previous issue was resolved when i used hi6220-hikey.dtb from this
> > source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
> > download linux kernel, there doesn't seems to contain hi6220-hikey.dtb.
> >
> > But now it got stuck while loading Dom0 and below are log traces:
> >
> >
> > (XEN) *** LOADING DOMAIN 0 ***
> > (XEN) Loading kernel from boot module @ 7a037000
> > (XEN) Loading ramdisk from boot module @ 0ae0
> > (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
> > (XEN) BANK[0] 0x004000-0x006000 (512MB)
> > (XEN) Grant table range: 0x0005c0-0x0005c54000
> > (XEN) Loading zImage from 7a037000 to
> > 4008-40ce8c00
> > (XEN) Loading dom0 initrd from 0ae0 to
> > 0x4820-0x48a0
> > (XEN) Allocating PPI 16 for event channel interrupt
> > (XEN) Loading dom0 DTB to 0x4800-0x4800af11
> > (XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
> > (XEN) ..done.
> > (XEN) Initial low memory virq threshold set at 0x4000 pages.
> > (XEN) Std. Loglevel: Errors and warnings
> > (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
> > (XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input
> > to Xen)
> > (XEN) Freed 284kB init memory.
> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
> > (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
> > (XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
> > (XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
> > (XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0
> >
> > It just hang there after the last line above.
> > I have looked into those messages " d0v3: vGICD: unhandled word write
> > 0x to ICACTIVER0"  and linux kernel already taking care to ignore
> > it. Therefore, I believe this is not contributing to there hang here. Any
> > idea on this issue?
>
> It looks like you did not let the kernel use the console so nothing
> was printed.
>
> Make sure you have 'console=hvc0' on your Linux line.
>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-18 Thread Konrad Rzeszutek Wilk
On Wed, Aug 17, 2016 at 06:30:23PM -0400, Kamenee Arumugam wrote:
> Hi Chen,
> 
> My previous issue was resolved when i used hi6220-hikey.dtb from this
> source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
> download linux kernel, there doesn't seems to contain hi6220-hikey.dtb.
> 
> But now it got stuck while loading Dom0 and below are log traces:
> 
> 
> (XEN) *** LOADING DOMAIN 0 ***
> (XEN) Loading kernel from boot module @ 7a037000
> (XEN) Loading ramdisk from boot module @ 0ae0
> (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
> (XEN) BANK[0] 0x004000-0x006000 (512MB)
> (XEN) Grant table range: 0x0005c0-0x0005c54000
> (XEN) Loading zImage from 7a037000 to
> 4008-40ce8c00
> (XEN) Loading dom0 initrd from 0ae0 to
> 0x4820-0x48a0
> (XEN) Allocating PPI 16 for event channel interrupt
> (XEN) Loading dom0 DTB to 0x4800-0x4800af11
> (XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
> (XEN) ..done.
> (XEN) Initial low memory virq threshold set at 0x4000 pages.
> (XEN) Std. Loglevel: Errors and warnings
> (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
> (XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input
> to Xen)
> (XEN) Freed 284kB init memory.
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0
> 
> It just hang there after the last line above.
> I have looked into those messages " d0v3: vGICD: unhandled word write
> 0x to ICACTIVER0"  and linux kernel already taking care to ignore
> it. Therefore, I believe this is not contributing to there hang here. Any
> idea on this issue?

It looks like you did not let the kernel use the console so nothing
was printed.

Make sure you have 'console=hvc0' on your Linux line.

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-18 Thread Chenxiao Zhao
It seems that you are using a dtb file that is not compatible with XEN
hypervisor on hikey. I strongly suggest you compile the kernel from source
in 96boards's repository. When you compile the kernel it will compile the
dtb from dts as well.

On Thu, Aug 18, 2016 at 6:30 AM Kamenee Arumugam 
wrote:

> Hi Chen,
>
> My previous issue was resolved when i used hi6220-hikey.dtb from this
> source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
> download linux kernel, there doesn't seems to contain hi6220-hikey.dtb.
>
> But now it got stuck while loading Dom0 and below are log traces:
>
>
> (XEN) *** LOADING DOMAIN 0 ***
> (XEN) Loading kernel from boot module @ 7a037000
> (XEN) Loading ramdisk from boot module @ 0ae0
> (XEN) Allocating 1:1 mappings totalling 512MB for dom0:
> (XEN) BANK[0] 0x004000-0x006000 (512MB)
> (XEN) Grant table range: 0x0005c0-0x0005c54000
> (XEN) Loading zImage from 7a037000 to
> 4008-40ce8c00
> (XEN) Loading dom0 initrd from 0ae0 to
> 0x4820-0x48a0
> (XEN) Allocating PPI 16 for event channel interrupt
> (XEN) Loading dom0 DTB to 0x4800-0x4800af11
> (XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
> (XEN) ..done.
> (XEN) Initial low memory virq threshold set at 0x4000 pages.
> (XEN) Std. Loglevel: Errors and warnings
> (XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
> (XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input
> to Xen)
> (XEN) Freed 284kB init memory.
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
> (XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
> (XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0
>
> It just hang there after the last line above.
> I have looked into those messages " d0v3: vGICD: unhandled word write
> 0x to ICACTIVER0"  and linux kernel already taking care to ignore
> it. Therefore, I believe this is not contributing to there hang here. Any
> idea on this issue?
>
> Thanks,
> Kamenee
>
>
> On Wed, Aug 10, 2016 at 9:11 PM, Chenxiao Zhao 
> wrote:
>
>> You should compile kernel first. Please follow the "Getting Started" page
>> on 96boards
>>
>> On 8/10/2016 7:07 AM, Kamenee Arumugam wrote:
>>
>>> Hi Chen,
>>>
>>> I have tried to flash UEFI in my board with latest one but still facing
>>> the same issue. Regarding to use dtb file from kernel source, I couldnt
>>> find hi6220-hikey.dtb in my source kernel. i am downloading my kernel
>>> source from
>>> here: https://github.com/96boards/linux/tree/android-hikey-linaro-4.1
>>>
>>> I only could find hi6220-hikey.dts file in the kernel source. Therefore
>>> download from other github but which is correct one that i need to use?
>>> In case, I am using incorrect kernel source, pls point to me to correct
>>> one if you aware of?
>>>
>>> Thanks,
>>> Kamenee
>>>
>>> On Thu, Aug 4, 2016 at 11:06 PM, Chenxiao Zhao >> > wrote:
>>>
>>> The xen.cfg file seems fine to me. I suggest you try to use the dtb
>>> file compiled from the kernel source and update UEFI bootloader on
>>> hikey board to the latest version.
>>>
>>> hope this could help.
>>>
>>> On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:
>>>
>>> I have already pass hi6220-key.dtb in my xen.cfg:
>>>
>>> options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
>>> dtuart=/smb/uart@f7113000
>>> kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
>>> dtb=hi6220-hikey.dtb
>>>
>>> I download the hi6220-hikey.dtb from this site:
>>>
>>> https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb
>>> <
>>> https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb
>>> >
>>>
>>>
>>> Firstly, I build kernel using the command below:
>>>
>>> make -j24 Image hi6220-hikey.dtb
>>>
>>> I placed hikey6220-hikey.dtb in linux directory level. I also
>>> copied the
>>> dtb into sd before booting up. Please correct me if my steps are
>>> wrong.
>>>
>>>
>>> On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao
>>> 
>>> >> >> wrote:
>>>
>>> you have to pass hi6220-key.dtb to xen.
>>>
>>> On 

Re: [Xen-devel] unable start xen in hikey

2016-08-17 Thread Kamenee Arumugam
Hi Chen,

My previous issue was resolved when i used hi6220-hikey.dtb from this
source: https://github.com/kuscsik/device-linaro-hikey-kernel. When I
download linux kernel, there doesn't seems to contain hi6220-hikey.dtb.

But now it got stuck while loading Dom0 and below are log traces:


(XEN) *** LOADING DOMAIN 0 ***
(XEN) Loading kernel from boot module @ 7a037000
(XEN) Loading ramdisk from boot module @ 0ae0
(XEN) Allocating 1:1 mappings totalling 512MB for dom0:
(XEN) BANK[0] 0x004000-0x006000 (512MB)
(XEN) Grant table range: 0x0005c0-0x0005c54000
(XEN) Loading zImage from 7a037000 to
4008-40ce8c00
(XEN) Loading dom0 initrd from 0ae0 to
0x4820-0x48a0
(XEN) Allocating PPI 16 for event channel interrupt
(XEN) Loading dom0 DTB to 0x4800-0x4800af11
(XEN) Scrubbing Free RAM on 1 nodes using 8 CPUs
(XEN) ..done.
(XEN) Initial low memory virq threshold set at 0x4000 pages.
(XEN) Std. Loglevel: Errors and warnings
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) *** Serial input -> DOM0 (type 'CTRL-x' three times to switch input
to Xen)
(XEN) Freed 284kB init memory.
(XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER4
(XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER8
(XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER12
(XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER16
(XEN) d0v0: vGICD: unhandled word write 0x to ICACTIVER0
(XEN) d0v1: vGICD: unhandled word write 0x to ICACTIVER0
(XEN) d0v2: vGICD: unhandled word write 0x to ICACTIVER0
(XEN) d0v3: vGICD: unhandled word write 0x to ICACTIVER0

It just hang there after the last line above.
I have looked into those messages " d0v3: vGICD: unhandled word write
0x to ICACTIVER0"  and linux kernel already taking care to ignore
it. Therefore, I believe this is not contributing to there hang here. Any
idea on this issue?

Thanks,
Kamenee


On Wed, Aug 10, 2016 at 9:11 PM, Chenxiao Zhao 
wrote:

> You should compile kernel first. Please follow the "Getting Started" page
> on 96boards
>
> On 8/10/2016 7:07 AM, Kamenee Arumugam wrote:
>
>> Hi Chen,
>>
>> I have tried to flash UEFI in my board with latest one but still facing
>> the same issue. Regarding to use dtb file from kernel source, I couldnt
>> find hi6220-hikey.dtb in my source kernel. i am downloading my kernel
>> source from
>> here: https://github.com/96boards/linux/tree/android-hikey-linaro-4.1
>>
>> I only could find hi6220-hikey.dts file in the kernel source. Therefore
>> download from other github but which is correct one that i need to use?
>> In case, I am using incorrect kernel source, pls point to me to correct
>> one if you aware of?
>>
>> Thanks,
>> Kamenee
>>
>> On Thu, Aug 4, 2016 at 11:06 PM, Chenxiao Zhao > > wrote:
>>
>> The xen.cfg file seems fine to me. I suggest you try to use the dtb
>> file compiled from the kernel source and update UEFI bootloader on
>> hikey board to the latest version.
>>
>> hope this could help.
>>
>> On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:
>>
>> I have already pass hi6220-key.dtb in my xen.cfg:
>>
>> options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
>> dtuart=/smb/uart@f7113000
>> kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
>> dtb=hi6220-hikey.dtb
>>
>> I download the hi6220-hikey.dtb from this site:
>> https://android.googlesource.com/device/linaro/hikey-kernel/
>> +/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb
>> > /+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb>
>>
>>
>> Firstly, I build kernel using the command below:
>>
>> make -j24 Image hi6220-hikey.dtb
>>
>> I placed hikey6220-hikey.dtb in linux directory level. I also
>> copied the
>> dtb into sd before booting up. Please correct me if my steps are
>> wrong.
>>
>>
>> On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao
>> 
>> > >> wrote:
>>
>> you have to pass hi6220-key.dtb to xen.
>>
>> On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam
>> 
>> >>
>> wrote:
>>
>> Hi all,
>>
>> I am unable to start xen in hikey successfully but
>> getting to
>> this prompt message:
>>
>>
>> >/Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100
>> git:9a6cc4f) EFI

Re: [Xen-devel] unable start xen in hikey

2016-08-10 Thread Chenxiao Zhao
You should compile kernel first. Please follow the "Getting Started" 
page on 96boards


On 8/10/2016 7:07 AM, Kamenee Arumugam wrote:

Hi Chen,

I have tried to flash UEFI in my board with latest one but still facing
the same issue. Regarding to use dtb file from kernel source, I couldnt
find hi6220-hikey.dtb in my source kernel. i am downloading my kernel
source from
here: https://github.com/96boards/linux/tree/android-hikey-linaro-4.1

I only could find hi6220-hikey.dts file in the kernel source. Therefore
download from other github but which is correct one that i need to use?
In case, I am using incorrect kernel source, pls point to me to correct
one if you aware of?

Thanks,
Kamenee

On Thu, Aug 4, 2016 at 11:06 PM, Chenxiao Zhao > wrote:

The xen.cfg file seems fine to me. I suggest you try to use the dtb
file compiled from the kernel source and update UEFI bootloader on
hikey board to the latest version.

hope this could help.

On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:

I have already pass hi6220-key.dtb in my xen.cfg:

options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
dtuart=/smb/uart@f7113000
kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
dtb=hi6220-hikey.dtb

I download the hi6220-hikey.dtb from this site:

https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb




Firstly, I build kernel using the command below:

make -j24 Image hi6220-hikey.dtb

I placed hikey6220-hikey.dtb in linux directory level. I also
copied the
dtb into sd before booting up. Please correct me if my steps are
wrong.


On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao

>> wrote:

you have to pass hi6220-key.dtb to xen.

On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam

>>
wrote:

Hi all,

I am unable to start xen in hikey successfully but
getting to
this prompt message:


>/Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100
git:9a6cc4f) EFI
loader/
>/Using configuration file 'xen.cfg'/
>/Image: 0x79fd-0x7acb8c00
/
/> Unable to create new FDT
/
/Shell

/
I am following this wiki (http://wiki.xen.org/wiki/HiKey
) to
setup xen in hikey. I am not sure what could cause this
issue
here. Appreciate all of you input and advice here.

Thanks,
Kamenee//
/
/
___
Xen-devel mailing list
Xen-devel@lists.xen.org 
>
https://lists.xen.org/xen-devel






___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-09 Thread Meng Xu
On Tue, Aug 9, 2016 at 7:07 PM, Kamenee Arumugam  wrote:
>
> Hi Chen,
>
> I have tried to flash UEFI in my board with latest one but still facing the 
> same issue. Regarding to use dtb file from kernel source, I couldnt find 
> hi6220-hikey.dtb in my source kernel. i am downloading my kernel source from 
> here: https://github.com/96boards/linux/tree/android-hikey-linaro-4.1
>
> I only could find hi6220-hikey.dts file in the kernel source.


Then did you compile the device tree using "make dtbs"?

Meng

> On Thu, Aug 4, 2016 at 11:06 PM, Chenxiao Zhao  
> wrote:
>>
>> The xen.cfg file seems fine to me. I suggest you try to use the dtb file 
>> compiled from the kernel source and update UEFI bootloader on hikey board to 
>> the latest version.
>>
>> hope this could help.
>>
>> On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:
>>>
>>> I have already pass hi6220-key.dtb in my xen.cfg:
>>>
>>> options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
>>> dtuart=/smb/uart@f7113000
>>> kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
>>> dtb=hi6220-hikey.dtb
>>>
>>> I download the hi6220-hikey.dtb from this site:
>>> https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb
>>>
>>>
>>> Firstly, I build kernel using the command below:
>>>
>>> make -j24 Image hi6220-hikey.dtb
>>>
>>> I placed hikey6220-hikey.dtb in linux directory level. I also copied the
>>> dtb into sd before booting up. Please correct me if my steps are wrong.
>>>
>>>
>>> On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao >> > wrote:
>>>
>>> you have to pass hi6220-key.dtb to xen.
>>>
>>> On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam
>>> > wrote:
>>>
>>> Hi all,
>>>
>>> I am unable to start xen in hikey successfully but getting to
>>> this prompt message:
>>>
>>>
>>> >/Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI
>>> loader/
>>> >/Using configuration file 'xen.cfg'/
>>> >/Image: 0x79fd-0x7acb8c00
>>> /
>>> /> Unable to create new FDT
>>> /
>>> /Shell
>>>
>>> /
>>> I am following this wiki (http://wiki.xen.org/wiki/HiKey) to
>>> setup xen in hikey. I am not sure what could cause this issue
>>> here. Appreciate all of you input and advice here.
>>>
>>> Thanks,
>>> Kamenee//
>>> /
>>> /
>>> ___
>>> Xen-devel mailing list
>>> Xen-devel@lists.xen.org 
>>> https://lists.xen.org/xen-devel
>>>
>>>
>
>
> ___
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> https://lists.xen.org/xen-devel
>

-- 

Meng Xu
PhD Student in Computer and Information Science
University of Pennsylvania
http://www.cis.upenn.edu/~mengxu/

___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-09 Thread Kamenee Arumugam
Hi Chen,

I have tried to flash UEFI in my board with latest one but still facing the
same issue. Regarding to use dtb file from kernel source, I couldnt find
hi6220-hikey.dtb in my source kernel. i am downloading my kernel source
from here: https://github.com/96boards/linux/tree/android-hikey-linaro-4.1

I only could find hi6220-hikey.dts file in the kernel source. Therefore
download from other github but which is correct one that i need to use? In
case, I am using incorrect kernel source, pls point to me to correct one if
you aware of?

Thanks,
Kamenee

On Thu, Aug 4, 2016 at 11:06 PM, Chenxiao Zhao 
wrote:

> The xen.cfg file seems fine to me. I suggest you try to use the dtb file
> compiled from the kernel source and update UEFI bootloader on hikey board
> to the latest version.
>
> hope this could help.
>
> On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:
>
>> I have already pass hi6220-key.dtb in my xen.cfg:
>>
>> options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
>> dtuart=/smb/uart@f7113000
>> kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
>> dtb=hi6220-hikey.dtb
>>
>> I download the hi6220-hikey.dtb from this site:
>> https://android.googlesource.com/device/linaro/hikey-kernel/
>> +/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb
>>
>>
>> Firstly, I build kernel using the command below:
>>
>> make -j24 Image hi6220-hikey.dtb
>>
>> I placed hikey6220-hikey.dtb in linux directory level. I also copied the
>> dtb into sd before booting up. Please correct me if my steps are wrong.
>>
>>
>> On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao > > wrote:
>>
>> you have to pass hi6220-key.dtb to xen.
>>
>> On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam
>> > wrote:
>>
>> Hi all,
>>
>> I am unable to start xen in hikey successfully but getting to
>> this prompt message:
>>
>>
>> >/Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI
>> loader/
>> >/Using configuration file 'xen.cfg'/
>> >/Image: 0x79fd-0x7acb8c00
>> /
>> /> Unable to create new FDT
>> /
>> /Shell
>>
>> /
>> I am following this wiki (http://wiki.xen.org/wiki/HiKey) to
>> setup xen in hikey. I am not sure what could cause this issue
>> here. Appreciate all of you input and advice here.
>>
>> Thanks,
>> Kamenee//
>> /
>> /
>> ___
>> Xen-devel mailing list
>> Xen-devel@lists.xen.org 
>> https://lists.xen.org/xen-devel
>>
>>
>>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-04 Thread Chenxiao Zhao
The xen.cfg file seems fine to me. I suggest you try to use the dtb file 
compiled from the kernel source and update UEFI bootloader on hikey 
board to the latest version.


hope this could help.

On 8/4/2016 11:02 PM, Kamenee Arumugam wrote:

I have already pass hi6220-key.dtb in my xen.cfg:

options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
dtuart=/smb/uart@f7113000
kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
dtb=hi6220-hikey.dtb

I download the hi6220-hikey.dtb from this site:
https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb


Firstly, I build kernel using the command below:

make -j24 Image hi6220-hikey.dtb

I placed hikey6220-hikey.dtb in linux directory level. I also copied the
dtb into sd before booting up. Please correct me if my steps are wrong.


On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao > wrote:

you have to pass hi6220-key.dtb to xen.

On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam
> wrote:

Hi all,

I am unable to start xen in hikey successfully but getting to
this prompt message:


>/Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI
loader/
>/Using configuration file 'xen.cfg'/
>/Image: 0x79fd-0x7acb8c00
/
/> Unable to create new FDT
/
/Shell

/
I am following this wiki (http://wiki.xen.org/wiki/HiKey) to
setup xen in hikey. I am not sure what could cause this issue
here. Appreciate all of you input and advice here.

Thanks,
Kamenee//
/
/
___
Xen-devel mailing list
Xen-devel@lists.xen.org 
https://lists.xen.org/xen-devel




___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-04 Thread Kamenee Arumugam
I have already pass hi6220-key.dtb in my xen.cfg:

options=console=dtuart dom0_mem=512M dom0_max_vcpus=4 conswitch=x
dtuart=/smb/uart@f7113000
kernel=Image console=hvc0 root=/dev/mmcblk1p4 rootwait rw
dtb=hi6220-hikey.dtb

I download the hi6220-hikey.dtb from this site:
https://android.googlesource.com/device/linaro/hikey-kernel/+/f117fa12746b59aa0a1a4d6335145e58935c422b/hi6220-hikey.dtb


Firstly, I build kernel using the command below:

make -j24 Image hi6220-hikey.dtb

I placed hikey6220-hikey.dtb in linux directory level. I also copied the
dtb into sd before booting up. Please correct me if my steps are wrong.


On Thu, Aug 4, 2016 at 3:27 AM, Chenxiao Zhao 
wrote:

> you have to pass hi6220-key.dtb to xen.
>
> On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam 
> wrote:
>
>> Hi all,
>>
>> I am unable to start xen in hikey successfully but getting to this prompt
>> message:
>>
>>
>> >* Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI loader*
>> >* Using configuration file 'xen.cfg'*
>> >
>> * Image: 0x79fd-0x7acb8c00*
>>
>> *> Unable to create new FDT*
>>
>>
>> *Shell*
>> I am following this wiki (http://wiki.xen.org/wiki/HiKey) to setup xen
>> in hikey. I am not sure what could cause this issue here. Appreciate all of
>> you input and advice here.
>>
>> Thanks,
>> Kamenee
>>
>> ___
>> Xen-devel mailing list
>> Xen-devel@lists.xen.org
>> https://lists.xen.org/xen-devel
>>
>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


Re: [Xen-devel] unable start xen in hikey

2016-08-04 Thread Chenxiao Zhao
you have to pass hi6220-key.dtb to xen.

On Thu, Aug 4, 2016 at 2:15 AM Kamenee Arumugam 
wrote:

> Hi all,
>
> I am unable to start xen in hikey successfully but getting to this prompt
> message:
>
>
> >* Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI loader*
> >* Using configuration file 'xen.cfg'*
> >
> * Image: 0x79fd-0x7acb8c00*
>
> *> Unable to create new FDT*
>
>
> *Shell*
> I am following this wiki (http://wiki.xen.org/wiki/HiKey) to setup xen in
> hikey. I am not sure what could cause this issue here. Appreciate all of
> you input and advice here.
>
> Thanks,
> Kamenee
>
> ___
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> https://lists.xen.org/xen-devel
>
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel


[Xen-devel] unable start xen in hikey

2016-08-03 Thread Kamenee Arumugam
Hi all,

I am unable to start xen in hikey successfully but getting to this prompt
message:


>* Xen 4.7.0 (c/s Mon Jun 20 11:38:15 2016 +0100 git:9a6cc4f) EFI loader*
>* Using configuration file 'xen.cfg'*
>
* Image: 0x79fd-0x7acb8c00*

*> Unable to create new FDT*


*Shell*
I am following this wiki (http://wiki.xen.org/wiki/HiKey) to setup xen in
hikey. I am not sure what could cause this issue here. Appreciate all of
you input and advice here.

Thanks,
Kamenee
___
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel