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

[Thomas Leonard <talex5@xxxxxxxxx>]

On 12 July 2014 19:08, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> 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).

I'll try to get this done tomorrow.

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

If you're getting link failures (rather than runtime failures), it's
probably because some parts are compiled as soft float and others as
hard float. If everything is compiled on the same OS there shouldn't
be a problem, but if you're cross compiling Mini-OS or OpenLibm you
might get a problem.

What errors are you getting?


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