From mboxrd@z Thu Jan  1 00:00:00 1970
From: Leonardo Taccari <iamleot@gmail.com>
Subject: Re: Xen ARM and rtds real-time scheduler:
	local_irq_is_enabled() assert
Date: Sat, 27 Sep 2014 13:04:08 +0200
Message-ID: <542697a7.4355b40a.0443.ffffb7c1@mx.google.com>
References: <54257008.aa15c20a.3c2f.3a11@mx.google.com>
	<CAENZ-+nqhbJJY7rhJ4AXABfM7u51Kd=A-c1QaFhsrRf96cJnvw@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-reply-to: <CAENZ-+nqhbJJY7rhJ4AXABfM7u51Kd=A-c1QaFhsrRf96cJnvw@mail.gmail.com>
Content-ID: <2492.1411815847.1@foobar>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Meng Xu <xumengpanda@gmail.com>
Cc: Meng Xu <mengxu@cis.upenn.edu>, Sisu Xi <xisisu@gmail.com>, "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>
List-Id: xen-devel@lists.xenproject.org

Hello Meng,

Meng Xu writes:
> Could you please have a try:  git://xenbits.xen.org/xen.git, staging
> branch and let me know if this problem still exist?
> 
> I didn't test it on arm, but I think the difference between ARM and
> Intel x86 should not make much difference in schedulers.
Ok! I will try the staging branch in the next week and I will let you
know (unfortunately I have access to the hardware only at university).


Thank you!
Ciao,
L.