On 19 Jan 2017, at 09:51, Wei Chen <[email protected]> wrote: > > Hi, > > We are engineers from ARM. We're trying to port solo5 and ukvm to ARM. > Currently, we are in the very first stage, the first plan could be > porting solo5 and ukvm to KVM/Linux platform with ARM64 architecture. > We'd like to discuss with you here to push this project to be multiple > architectures/platforms support.
Dear Wei, Welcome aboard! I'm excited to hear that you are working on ARM support. I have several things in preparation that should help upstreaming your work to Mirage: - we have aarch64-ci.ocaml.io hosted on Packet.net, and are debugging Docker support for it at the moment. That will give us a 96-core ARM64 build machine for the CI, to test packages on once you have ukvm patches. - I also have some Odroid C2 aarch64 boxes that have been proposed for use for home routing infrastructure, and so this would be a nice place to test some of the patches. If anyone going to Marrakech on the March hackathon wants some to get working, let me know! - OCaml itself has excellent aarch64 support since 4.03, and has passed several bulk builds on the Fedora repository. It can be considered stable and so means that the rest of MirageOS's library ecosystem will "just work" once the ukvm and Solo5 pieces are in place. If you have any questions about the tooling or other parts of Mirage, please don't hesitate to ask on this list. regards, Anil _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
