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

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

On 9 Jun 2015, at 04:04, 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).

The MIPS backend was removed because of the sheer number of ABIs that
had to be supported, so testing it became really hard.  It could be
maintained out of tree without too much trouble, if hardware were
available.  We did some work on a MIPS64 port backend for the MRC2
project at the Computer Lab: https://github.com/ChrisDodd/ocaml/tree/mips

OpenWRT is a pretty compelling case...


MirageOS-devel mailing list



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