Re: [Xen-users] ANN: FreeRTOS 7.6.0 for Xen on ARM released

[Ian Campbell <Ian.Campbell@citrix.com>]

I failed on the CC, whoops! Lets try that again...

(see also some comments below)

On Tue, 2015-01-20 at 09:55 +0000, Ian Campbell wrote:
> Hi Jonathan,
> 
> Very cool!
> 
> I've copied xen-devel, since I bet there are folks there who would be
> interested too.
> 
> Ian.
> 
> On Mon, 2015-01-19 at 11:12 -0800, Jonathan Daugherty wrote:
> > Hi,
> > 
> > I'm pleased to announce that my port of FreeRTOS 7.6.0 for Xen on ARM is
> > now released!  Now you can deploy FreeRTOS alongside all of those tiny
> > Mirage VMs you have been running.  The source is available on GitHub:
> > 
> >   https://github.com/GaloisInc/FreeRTOS-Xen
> > 
> > I presented this work at last year's Xen Developer Summit, and it is
> > finally out. I am happy to accept community patches, address issues,
> > etc. To test your patches, you'll need an ARM system running Xen.
> > 
> > Many thanks to the Xen developers who helped us along the way!

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.

So anything built with this version of Free-RTOS will only work on Xen
4.4, which is something which should be made clear to users etc. In
particular please could you clarify the statement "Xen version: 4.4+" in
your README, since right now I think you only support 4.4.

Anyway, this is a valid design choice for you to make, so long as you
understand the constaints and consequences. If you want to make binaries
which are portable and/or to avoid having to have configuration nobs at
build time then the correct thing to do is to parse the DTB. The ARM
port of mini-os (xen.git/extras/mini-os) has some initial code to do
that, with other bits being in Thomas Leonard's remaining patches (I'm
not sure if even that is complete, but it is in the right direction).

Note that Xen 4.5 has moved a bunch of stuff around, in particular the
GIC, to make room for more guest low RAM.

Ian.