From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: building xen activated arm kernel for Tegra k1 Date: Fri, 01 Aug 2014 22:22:12 +0100 Message-ID: <53DC0504.7020503@linaro.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: burak sarac , xen-devel@lists.xen.org Cc: Ian Campbell , Stefano Stabellini List-Id: xen-devel@lists.xenproject.org On 01/08/14 19:34, burak sarac wrote: > Dear all, Hi, > 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 This is a good start for building the kernel. Although, some options may not work/exist on ARM such as: - *X86* of course :) - CONFIG_*_PCI_* - CONFIG_PARAVIRT_* - CONFIG_HYPERVISOR_GUEST - all tmem support (I don't even know if someone tried to use it on ARM) - CONFIG_ACPI I will see if we can update this page during the next document day for ARM. You can also give a look to the xen wiki page about ARM. It will give you some tips about building Xen and debugging guest kernel. http://wiki.xen.org/wiki/Xen_ARM_with_Virtualization_Extensions If something is missing or you have an issue that you don't understand, just let us know. Regards, -- Julien Grall