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

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

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

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

Hrmm, that sounds interesting.


MirageOS-devel mailing list



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