[MirageOS-devel] Mirage Xen/ARM update

[Thomas Leonard <talex5@xxxxxxxxx>]

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.

Here are the new instructions for testing it.

First, install Xen on the device. For Cubieboard 2 or CubieTruck, you
can use these instructions:

     https://github.com/talex5/xen-arm-builder

Once booted you can ssh to Dom0. From there, initialise OPAM:

    $ sudo apt-get install aspcud pkg-config
    $ opam init

Then you should be able to install Mirage and build your unikernel
just as on x86, except that you'll need to select the Git versions of
some components:

    $ git clone https://github.com/mirage/mirage-xen-libs
    $ cd mirage-xen-libs
    $ ./install.sh
    $ opam pin mirage https://github.com/mirage/mirage
    $ opam pin mirage-xen https://github.com/mirage/mirage-platform
    $ opam install mirage

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

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


-- 
Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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