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

Re: [MirageOS-devel] Mirage on Xen/ARM status



V cool...yay

On May 16, 2014 5:42 PM, "Thomas Leonard" <talex5@xxxxxxxxx> wrote:
Good news for Mirage on Xen/ARM: mirage-skeleton/console is now working!

It needs tidying up, but currently to run you need:

1. mirage-platform/arm-hacks3:
https://github.com/talex5/mirage-platform/tree/arm-hacks3

This has been updated for the new Mini-OS. dietlibc is gone (we no
longer need a C library). libm is also gone, but you'll need to
replace it with something else (see below). There's a new libxencaml
with the separated-out Mini-OS OCaml bindings.

I had to make some changes to the Mirage API, because on ARM Xen
doesn't provide start_info. Also, I switched the timer stuff to use
mini-os's block_domain call, which handles ARM correctly.

2. mirage-console/master (modified to avoid using start_page)
https://github.com/talex5/mirage-console/commits/master

3. openlibm/arm-hacks (disables all long double support, which ARM
doesn't have and OCaml doesn't need)
https://github.com/talex5/openlibm/tree/arm-hacks

4. Mini-OS/devel (can now be installed as a library, libminios.a - use
"make install-ocamlfind")
https://github.com/talex5/xen/tree/devel


You'll also need a *soft-float* ARM build machine. Hard-float would
require extra support from Mini-OS. You can cross-compile the C code
easily enough, but OCaml can't cross compile, even from armhf to armel
(the -ffpu option just gives a silly error message). I got mine with:

 debootstrap --arch armel testing /mnt

Finally, you'll also need to modify mir-console's Makefile, because I
didn't update mirage to generate it properly. This worked for me:

KERNEL_DIR = $(shell ocamlfind query minios-kernel)
PLATFORM_DIR = $(shell ocamlfind query mirage-xen)

build: main.native.o
    ld -d -static -nostdlib -T $(KERNEL_DIR)/link.lds \
        --start-group Â\
        /usr/lib/gcc/arm-linux-gnueabi/4.8/libgcc.a \
         $(PLATFORM_DIR)/libocaml.a \
         $(PLATFORM_DIR)/libxencaml.a \
         ~/lib/libopenlibm.a \
         $(KERNEL_DIR)/libminios.a -o mir-console.elf \
         _build/main.native.o \
     --end-group
    objcopy -O binary mir-console.elf mir-console.xen

The next steps are to make this all a bit easier to install and clean
up the branches so they can be merged. Also, some things are broken
(printf doesn't accept %f, for example, because we're just using
Mini-OS's version).


--
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
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

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