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

[Richard Mortier <mort@xxxxxxxxxx>]

I suspect that having MirageOS running on OpenWRT hardware would be
quite a bit of interest in fact :)

On 9 June 2015 at 09:32, Nicolas Ojeda Bar <n.oje.bar@xxxxxxxxx> 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 ?).
>
> 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'm happy to discuss any of this further (to the extent of my knowledge) ...
>
> Best wishes,
> Nicolas
>
> On Tue, Jun 9, 2015 at 1:34 PM, Vincent Bernardoff <vb@xxxxxxxxxxxxxx> wrote:
>> On 07/06/2015 19:45, Nicolas Ojeda Bar wrote:
>>> Forwarding in case it is of interest.
>>>
>>> Best wishes,
>>> Nicolas
>>
>> This is really cool, thanks!
>>
>> I was wondering, since you based your work on the old MIPS backend, how
>> much work would it be to have a working mips32 native for ocaml ? This
>> would enable Mirage to run on most openwrt hardware running on MIPS (it
>> is a _lot_ of really interesting hardware for IoT / mesh networking tasks).
>>
>> I'm developping a product running on such a platform, and I'd like to
>> use OCaml on it, but unfortunately it's not really possible to do
>> anything serious with the bytecode backend (most of the programs does
>> not compile without hacking their build system, which is more time
>> consuming than putting a mips32 backend to shape I'm persuaded).
>>
>> --
>> Vincent
>>
>> _______________________________________________
>> MirageOS-devel mailing list
>> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
>> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
>
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel



-- 
Richard Mortier
mort@xxxxxxxxxx

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