o:* Andrii Anisov
*Subject:* Re: [Xen-devel] Boot Xen on Jetson TX2
Hi Andrii,
Thanks for your reply. I tried your suggestions and got the following
messages. The PC is a008 where the kernel image is loaded. The
X0 is a800 where dtb is loaded. It seems that vcpu did not even
execute
Hello Wang,
On 20.12.17 23:29, Wang, Baoqian wrote:
(XEN) 3... 2... 1...
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch
input to Xen)
(XEN) Freed 288kB init memory.
Try switching to XEN console now. Hit Ctrl-a three (six with minicom)
times, then '0'.
--
*Andrii Aniso
Hi,
I am trying to boot Xen on TX2. But I got a problem with loading domain0
kernel. Hope somebody could help me.
I compiled the Xen 4.9.1 on Jetson TX2. The domain0 kernel version is 4.4.38. I
made some modifications to the device tree provided by the TX2. Then I can boot
xen hypervisor, but
