[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] Xen for real-time/embedded/automotive
- To: "Anil Madhavapeddy" <anil@xxxxxxxxxx>
- From: "Simon Martin" <smartin@xxxxxxxxxxxx>
- Date: Wed, 20 Nov 2013 18:35:37 +0000
- Cc: Lars Kurth <lars.kurth@xxxxxxxxxx>, Roland Heusser <heusserr@xxxxxxxxxxxxx>, Artem Mygaiev <artem.mygaiev@xxxxxxxxxxxxxxx>, Lovene Bhatia <lbhatia@xxxxxxxxxxx>, Sisu Xi <xisisu@xxxxxxxxx>, Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>, George Dunlap <George.Dunlap@xxxxxxxxxxxxx>, Dario Faggioli <dario.faggioli@xxxxxxxxxx>, Joshua Whitehead <whitehej@xxxxxxxxxxxxx>, xen-devel <xen-devel@xxxxxxxxxxxxx>, Drek Darkover <wackerei@xxxxxxxxx>, Lars Kurth <lars.kurth@xxxxxxx>, David Scott <Dave.Scott@xxxxxxxxxxxxx>, Stefano Panella <stefano.panella@xxxxxxxxxx>, Nate Studer <nate.studer@xxxxxxxxxxxxxxx>, mdavis@xxxxxxxxxxxxxxxxxxxxxx
- Delivery-date: Thu, 21 Nov 2013 08:06:04 +0000
- List-id: Xen developer discussion <xen-devel.lists.xen.org>
|
That's actually exactly what Mirage needs too -- we don't ever switch address spaces. I'd be interested in supporting any (Micro?)OS for Xen/ARM that you come up with. We already have an ARMv7 native code backend for the OCaml compiler which outputs a self-contained object file that will link straight into any such boot loader.
-anil
I'll keep you posted. Hopefully it won't take me too much longer...
Regards
|
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
|
