All of lore.kernel.org
 help / color / mirror / Atom feed
From: Jonathan Daugherty <jtd@galois.com>
To: Ian Campbell <Ian.Campbell@citrix.com>
Cc: xen-users@lists.xen.org, xen-devel <xen-devel@lists.xen.org>
Subject: Re: [Xen-users] ANN: FreeRTOS 7.6.0 for Xen on ARM released
Date: Tue, 20 Jan 2015 11:31:29 -0800	[thread overview]
Message-ID: <20150120193129.GC10782@galois.com> (raw)
In-Reply-To: <1421748851.10440.194.camel@citrix.com>

> 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.

      reply	other threads:[~2015-01-20 19:31 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20150119191238.GA15495@galois.com>
     [not found] ` <1421747758.10440.184.camel@citrix.com>
2015-01-20 10:14   ` [Xen-users] ANN: FreeRTOS 7.6.0 for Xen on ARM released Ian Campbell
2015-01-20 19:31     ` Jonathan Daugherty [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20150120193129.GC10782@galois.com \
    --to=jtd@galois.com \
    --cc=Ian.Campbell@citrix.com \
    --cc=xen-devel@lists.xen.org \
    --cc=xen-users@lists.xen.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.