Re: [MirageOS-devel] Mirage ARM port

[Andy Ray <andy.ray@xxxxxxxxxxx>]

>> * FreeBSD10 - uses clang - some kfreesbd ocaml runtime issues needed
>> fixed (mainly harsher warnings as errors from clang)
>> * natdynlink/pic is unavailable - various packages are patched to
>> remove cmxs generation
>
> Erk, are these changes necessary because the build fails if natdynlink
> isn't available?  That's a bad OASIS bug if so...



Not too sure how oasis detects these things, but it might be
complicated by the fact that the compiler is capable of natdynlink but
it's turned off through non-standard environment variables.

Also, its not just oasis.  A whole raft of different packages with
different build systems need patched.

I believe opam will get a flag in 1.2 to help control this.



> The Lwt base-threads/unix seems to be a bug in trunk as well (build
> fails on my Mac).


I think I squished that problem - the compiler now installs those
packages properly.  I haven't looked into building the compiler on
anything other than FreeBSD so there may be other problems also.



> This looks very promising.  Have you looked at the new MiniOS layout
> in mirage/mirage-xen-minios?  All of this has been lifted out of the
> mirage-platform repo now to be a separate library.
>
> This should make it easier for kFreeBSD, since if you provide similar
> C symbols, we can massage the bindings in mirage-platform/kFreeBSD
> to satisfy the relevant OCaml module types.
>


I had a quick look at mirage-xen-minios but I'm not too sure what its
related too.  Are you planning to move the backends out of the
mirage-platform project?

Anyway, I did a recompile of everything and there are a few minor
nitpicks.  You need to build the compiler then;

> opam install xenstore
> opam install mirage-kfreebsd mirage mirage-console-kfreebsd

I've also just noticed that kldunload of the kernel module will crash
FreeBSD which is not very pleasant.  That will need sorted.

-Andy

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