All of lore.kernel.org
 help / color / mirror / Atom feed
From: Lars Kurth <lars.kurth@xen.org>
To: Simon Martin <smartin@milliways.cl>,
	Dario Faggioli <dario.faggioli@citrix.com>,
	xen-devel <xen-devel@lists.xen.org>
Cc: Lars Kurth <lars.kurth@citrix.com>,
	Roland Heusser <heusserr@mail.gvsu.edu>,
	Artem Mygaiev <artem.mygaiev@globallogic.com>,
	Lovene Bhatia <lbhatia@samsung.com>, Sisu Xi <xisisu@gmail.com>,
	Stefano Stabellini <stefano.stabellini@eu.citrix.com>,
	George Dunlap <George.Dunlap@eu.citrix.com>,
	Anil Madhavapeddy <anil@recoil.org>,
	Joshua Whitehead <whitehej@mail.gvsu.edu>,
	Drek Darkover <wackerei@gmail.com>,
	Stefano Panella <stefano.panella@citrix.com>,
	Nate Studer <nate.studer@dornerworks.com>,
	mdavis@planetaryresources.com
Subject: Re: Xen for real-time/embedded/automotive
Date: Wed, 20 Nov 2013 14:04:57 +0000	[thread overview]
Message-ID: <528CC189.2090007@xen.org> (raw)
In-Reply-To: <em44f0aed9-fe78-4dae-bf48-10157d648060@smartin-alien>

Hi Martin, (adding Anil)

On 19/11/2013 01:27, Simon Martin wrote:
> Hi Dario,
> From my limited development here I would say the following:
> 1.- The embedded systems I work on have just a flat memory space, no 
> MMU or anything like that, so the Mini-OS example is total overkill. 
> I am writing a real minimalist PV guest based on that but it's amazing 
> how time consuming it's being. I'll be returning this to the project 
> when I'm happy with it, as long as you want it.
I am wondering whether there is some prior art that the Mirage OS 
(http://xenproject.org/developers/teams/mirage-os.html, 
https://github.com/mirage ) team has done, which you could build 
upon/re-use/look at. Obviously you wouldn't need any of the higher level 
OCaml language stuff. I will let Anil respond, whether there is anything 
that you could use.

Best Regards
Lars

  reply	other threads:[~2013-11-20 14:04 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-18 19:14 Xen for real-time/embedded/automotive Dario Faggioli
2013-11-19  1:27 ` Simon Martin
2013-11-20 14:04   ` Lars Kurth [this message]
2013-11-20 14:23     ` Simon Martin
2013-11-20 15:14       ` Lars Kurth
2013-11-20 17:36       ` Anil Madhavapeddy
2013-11-20 17:59         ` Simon Martin
2013-11-20 18:05           ` Anil Madhavapeddy
2013-11-20 18:35             ` Simon Martin
2013-11-28  9:53   ` Dario Faggioli
2013-11-28 11:39     ` Simon Martin
2013-11-28 12:03       ` Dario Faggioli
2013-11-28 12:39         ` Simon Martin
2013-11-30 11:37           ` Dario Faggioli
2013-11-20  4:50 ` Sisu Xi
2013-11-20 15:25   ` Lars Kurth
2013-11-21  7:04     ` Dario Faggioli
2013-11-21  7:52     ` Dario Faggioli
2013-12-12  8:05     ` Jeremiah Foster
2013-12-12  8:12       ` Dario Faggioli
2013-12-12  9:35         ` Lars Kurth
2013-12-12  9:39           ` Jeremiah Foster
2013-12-12  9:46             ` Dario Faggioli
2013-11-22  7:14 ` Dario Faggioli
2013-11-28  9:35 ` Dario Faggioli

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=528CC189.2090007@xen.org \
    --to=lars.kurth@xen.org \
    --cc=George.Dunlap@eu.citrix.com \
    --cc=anil@recoil.org \
    --cc=artem.mygaiev@globallogic.com \
    --cc=dario.faggioli@citrix.com \
    --cc=heusserr@mail.gvsu.edu \
    --cc=lars.kurth@citrix.com \
    --cc=lbhatia@samsung.com \
    --cc=mdavis@planetaryresources.com \
    --cc=nate.studer@dornerworks.com \
    --cc=smartin@milliways.cl \
    --cc=stefano.panella@citrix.com \
    --cc=stefano.stabellini@eu.citrix.com \
    --cc=wackerei@gmail.com \
    --cc=whitehej@mail.gvsu.edu \
    --cc=xen-devel@lists.xen.org \
    --cc=xisisu@gmail.com \
    /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.