[Xen-devel] building xen activated arm kernel for Tegra k1

[burak sarac <burak@xxxxxxxxx>]

Dear all,

ÂI just get my Jetson Tegra k1 and was planning to try out Xen on it. It has a 3.10 kernel with Ubuntu 14.04. Also I have downloaded kernel source. I am quite new on kernel building but I have done before via menuconfig for additional modules. My question is; as I have already source and .config from Nvidia do you think below guide would be enough for me to rebuild kernel for arm?

http://wiki.xen.org/wiki/Mainline_Linux_Kernel_Configs

Anyway tonight I will give a shot, it is Friday!:)

Thank you for your help

Burak

*p.s. my subscription is not approved I might not be able to see your response

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