Re: [MirageOS-devel] [OCaml 0006167]: OCAMLPARAM Support for Disabling Position-Independent Code (PIC) Generation

[Páli Gábor János <pgj@xxxxxxx>]

On Mon, Jan 26, 2015 at 11:47:28AM +0000, Anil Madhavapeddy wrote:
> On 26 Jan 2015, at 11:21, Dave Scott <Dave.Scott@xxxxxxxxxx> wrote:
> > Is there anything else still to upstream or is it all ready for use? :)
> 
> A mere matter of Makefiles, I'm sure :-)

For what it is worth, the implementation still relies on the presence of
fixed-point arithmetic for real numbers.  I have already posted and
written about the related patch to this list [1].  It was called "Add
fixed-point arithmetic support for doubles, unroll floating-point primops"
[2], but it was not truly an upstream-compatible change.  I am open to
any suggestions, and I could play with it if you think it would make
sense.

> It should be much easier with the recent removal of the OCaml runtime
> in mirage-xen.

Hrmm, that sounds interesting.


[1] 
http://lists.xenproject.org/archives/html/mirageos-devel/2013-09/msg00008.html
[2] 
https://github.com/pgj/ocaml/commit/26196344b32a1bb243b0e8986e5c0c82b05cc262.patch

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