[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] OS porting on Xen on ARM



On gio, 2013-12-19 at 17:42 +0000, Ian Campbell wrote:
> On Tue, 2013-12-17 at 12:05 +0100, Dario Faggioli wrote:
> > About how a small, and an hopefully easy enough to understand, OS that
> > runs as a Xen DomU looks like, check out Mini-OS in the Xen Source tree:
> > http://xenbits.xen.org/gitweb/?p=xen.git;a=tree;f=extras/mini-os;hb=HEAD
> > As I said, it's small, and definitely simpler, for instance, than Linux,
> > but it's quite feature complete, which is something you probably won't
> > need.
> 
> Note however that mini-os has not been ported to ARM. So as an example
> of the arch stuff it is not all that useful, 
>
Yep... Arianna's work will be the first real example of that, and quite
a cool example, at least as far as I can tell, given the nature of the
to be ported guest OS! Challenging, indeed, as well as very
interesting! :-)

> but it does contain PV
> drivers and the like, which is most of what a Xen on ARM port consists
> of given there is no PV MMU stuff to worry about.
> 
Indeed... I hope both mini-os and Simon's work (and perhaps some bits of
MirageOS too) can be a valuable help, at least for understanding at
least that part.

> The only existing ports are of Linux and of FreeBSD.
> 
Exactly. I guess both could be very useful sources of information.
Probably, the FreeBSD one, is a better fit here, as it is, let's say, a
"proper DomU port", while Linux has a lot more stuff in it, e.g.,
related to Dom0 support.

Thanks for replying,
Dario

-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.