On 02/06/16 17:53, Tamas K Lengyel wrote:
On Thu, Jun 2, 2016 at 4:34 PM, Chenxiao Zhao <chenxiao.z...@gmail.com> wrote:
On 6/1/2016 6:09 PM, Tamas K Lengyel wrote:
On Wed, Jun 1, 2016 at 3:49 PM, Julien Grall <julien.gr...@arm.com> wrote:
On 01/06/2016 18:10, Tamas K Lengyel wrote:
Hi all,
Hi Tamas,
following the steps from http://wiki.xen.org/wiki/HiKey I'm unable to
get the board to boot Xen. I'm using the Debian reference image from
linaro as base
(https://builds.96boards.org/releases/hikey/linaro/debian/latest/)
and that boots fine both from the SD card directly and through
startup.nsh. However, when I try to boot Xen I see only the following:
Xen 4.7.0-rc (c/s Mon May 23 12:07:20 2016 +0100 git:8478c94-dirty) EFI
loader
Using configuration file 'xen.cfg'
Image: 0x000000007a121000-0x000000007acb8a70
After that no output and dom0 never comes online on the network
either. I tried compiling Xen on the device itself in case it was a
problem with my cross-compile setup but no difference. Also with and
without debug=y. Any tips on what might be going wrong here?
I gave a quick look at the upstream device-tree of the hikey, the path
/smb/uart@f7113000.
If you use the upstream device-tree, it should be able to find the
correct
UART via "stdout-path" and therefore dtuart=... should not be necessary.
Let me know if it works for you, and I will update the wiki page.
No, I removed the dtuart=... part from xen.cfg but there is no
difference in the output and dom0 never comes up on the network
either.
Hi Tamas,
My xen.cfg for Hikey is like this:
options=dom0_mem=1024M dom0_max_vcpus=8 conswitch=x console=dtuart
dtuart=/smb/uart@f7113000
kernel=Image console=hvc root=/dev/mmcblk0p9 rootwait rw 3
dtb=hi6220-hikey.dtb
hope this could help you.
Ah, thank you! Yes, the fact that the dtb goes in a third line in the
cfg was missing! Should be put on wiki! I finally see Xen booting but
dom0 still doesn't start.
Well, the firmware should provide a valid device-tree, and therefore
"dtb=..." should not be necessary.
The way forward is too check why the UEFI firmware does not provide a
Device Tree (or maybe the DT path to the UART is different).
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
