Re: [MirageOS-devel] Fwd: [ANN] RISC-V backend for the native-code OCaml compiler

[Nicolas Ojeda Bar <n.oje.bar@xxxxxxxxx>]

I thought the 3.12 mips backend was for mips32; see

https://github.com/ocaml/ocaml/blob/3.12/asmcomp/mips/arch.ml#L42

What am I missing ?

Nicolas

On Tue, Jun 9, 2015 at 2:28 PM, Vincent Bernardoff <vb@xxxxxxxxxxxxxx> wrote:
> On 09/06/2015 10:32, Nicolas Ojeda Bar wrote:
>> Hi Vincent!
>>
>> My sense is that it would not be too much work at all.
>>
>> The only differences I could readily observe were related to exception
>> handling and some of the bits of the runtime system, nothing serious.
>>
>> In fact I was wondering why it was deprecated at all (maybe because
>> MIPS is no longer popular ?).
>
> It was written for MIPS64, a CPU that did not really existâ that might
> exist one day though. It was deprecated because there was nobody to
> maintain and test it (probably because no hardware).
>
> It never worked for MIPS32 which are the ones in the openwrt routers.
>
>> If you have access to actual MIPS hardware (with gcc on it) then I
>> reckon it wouldn't be too hard to get things back in shape.
>
> I have this, openwrt machine with a USB key on it.
> I tried in the past to use an OCaml 4.00.0 version for MIPS
>
> https://github.com/retired-camels/ocaml
>
> But stopped when I realised that this would not work for the MIPS32 I
> was targetting.
>
> I lack the knowledge / time to acquire it to develop this, but in the
> opinion of some people (like Pierre Chambart) this is "not very hard".
>
>> I'm happy to discuss any of this further (to the extent of my knowledge) ...
>
> Thanks for your answer, I'm putting Rixed in the loop (he worked with
> OCaml/MIPS in the past, and is waiting for the availability of MIPS64 to
> start working on this again).
> But personally I'm interested in MIPS32 now.
>
> Cheers,
>
>
> --
> Vincent

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