From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [ARM:PATCH v1 1/1] Add Odroid-XU (Exynos5410) support Date: Sat, 26 Jul 2014 12:28:03 +0100 Message-ID: <53D390C3.4000506@linaro.org> References: <1406242066-7001-1-git-send-email-suriyan.r@gmail.com> <53D24B4B.7020908@linaro.org> <1406291967.24842.1.camel@kazak.uk.xensource.com> <1406318711.4100.38.camel@hastur.hellion.org.uk> 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: Suriyan Ramasami , Ian Campbell Cc: keir@xen.org, Tim Deegan , ian.jackson@eu.citrix.com, Jan Beulich , "xen-devel@lists.xen.org" List-Id: xen-devel@lists.xenproject.org Hi Suriyan, On 26/07/14 08:26, Suriyan Ramasami wrote: > I also noticed that in some instances of "xl create" it does bring up > domU with 4 cpus as mentioned in the domU.cfg file, and in those > instances the domU boots up. > > Is this some kind of bug? We use PSCI to boot secondary CPUs. You may want to check the the PSCI call has effectively been issued for those VCPUs. Which Xen and Linux version are you using? >> >> Are all 4 cores the same or is this a 2x2 big.LITTLE system? I suspect >> we don't handle mixed systems at all well right now. Xen will be able to boot with different kind of CPUs. But the guest may have strange behavior as the VCPU can moved between the different core. Regards, -- Julien Grall