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

[MirageOS-devel] Mirage on Xen/ARM status

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:

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)

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

4. Mini-OS/devel (can now be installed as a library, libminios.a - use
"make install-ocamlfind")

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 \
        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



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