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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 12 Jul 2014, at 16:44, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

>> 
>> 
>> 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).

Is the hard-float feature definitely in the devel/ branch of your xen/minios 
tree?

I switched over to that but still get link failures due to FP symbols in the 
hard-float dom0.

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