From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jonathan Daugherty Subject: Re: [Xen-users] ANN: FreeRTOS 7.6.0 for Xen on ARM released Date: Tue, 20 Jan 2015 11:31:29 -0800 Message-ID: <20150120193129.GC10782@galois.com> References: <20150119191238.GA15495@galois.com> <1421747758.10440.184.camel@citrix.com> <1421748851.10440.194.camel@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Content-Disposition: inline In-Reply-To: <1421748851.10440.194.camel@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell Cc: xen-users@lists.xen.org, xen-devel List-Id: xen-devel@lists.xenproject.org > BTW, I notice that you have hardcoded the GIC addresses and various > interrupt sources. We do not make any guarantees about the guest > virtual platform memory or interrupt layout beyond committing to > correctly describing them in the Device Tree Blob which is passed to > the guest kernel at start of day. Okay. I will definitely update the README and add a note about this caveat. I was aware of this at the time I wrote the code and had the intention of going back and doing it the Right Way, but I had to move on due to time constraints. As time allows, I will clean it up. And I would of course welcome any other feedback for improving this! Thanks! -- Jonathan Daugherty Software Engineer Galois, Inc.