Re: [Xen-devel] Xen on Arm Arndale Exynos5250

[ed sandberg <ed.sandberg@xxxxxxxxxxxxxxxxx>]

> Does your kernel have the Xen drivers (CONFIG_XEN and all which is
> gated on that) enabled. In particular CONFIG_HVC_XEN.
> 
Yes the config file I used to compile has CONFIG_XEN=y and
CONFIG_HVC_XEN=y.  Config file is attached.

Attachment: config
Description: Text document

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel