Re: [MirageOS-devel] Mirage Xen/ARM update

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 11 Jul 2014, at 19:47, Thomas Leonard <talex5@xxxxxxxxx> wrote:

> There has been lots of progress on the ARM front recently! In particular:
> 
> - The separate Mini-OS and OpenLibm patches have been merged to the
> main mirage-platform and mirage repositories' master branches.
> 
> - Hardware floating point now works.

Awesome!  

> 
> If you're using a hard-float dom0 (the default), you'll also need the
> latest Git version of libminios:
> 
>    $ git clone https://github.com/talex5/xen.git
>    $ git checkout -b devel origin/devel
>    $ cd extras/mini-os
>    $ export PREFIX=`opam config var prefix`
>    $ make install LIBDIR=${PREFIX}/lib INCLUDEDIR=${PREFIX}/include

Could you tag this one, so I can update the xen-minios package (in
mirage/mirage-xen-libs, which I will shortly rename to mirage/mirage-xen-minios
before submitting an OPAM package).

> 
> To use networking, you also need to use these Git branches, which move
> the checksumming code to mirage-tcpip and make it work on ARM:
> 
> - https://github.com/talex5/mirage/commits/link_c_stubs
> - https://github.com/talex5/mirage-tcpip/commits/checksum

I'll merge those just as soon as I merge/release Mindy's recent TCP/IP
changes, which will be the last in the 1.x stream of TCP/IP before we
move onto V2 (which can include the ARM changes as well).

-anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel