Re: [Embeddedxen-devel] Is Xenomai Guest OS no longer available?

[Rossier D. <Dan...@he...>]

> -----Original Message-----
> From: Krishna Pavan [mailto:pos...@gm...]
> Sent: lundi 2 avril 2012 09:33
> To: Sam
> Cc: emb...@li...
> Subject: Re: [Embeddedxen-devel] Is Xenomai Guest OS no longer available?
> 
> Hi Sam,
> 
> I read from the above document that Xenomai was a guest OS on top of
> EmbeddedXEN.
> https://lists.sourceforge.net/lists/listinfo/embeddedxen-devel
> 
> I think, xenomai's files are used in many VMMs for ARM, as far as I know.
> They are included in the Source Code, I guess!

Xenomai support was in the initial release of EmbeddedXEN, but since Release 2.0 we
have not kept it anymore; the hypervisor should be reworked out in order to support
(hard) realtime scheduling, but it is not the case yet.

We plan to port Linux/Xenomai (and probably RTEMS) on top of EmbeddedXEN in future projects,
but it is not our priority at the moment. However, if you are interested in such contributions,
please let us know.

Cheers
Daniel

> 
> 
> --
> ✉ Regards :: Krishna Pavan ✍