ocaml-solo5
ocaml-solo5 copied to clipboard
aarch32 support
This modification is required to add aarch32 as an architecture supported by Solo5, and related to the pull request at https://github.com/Solo5/solo5/pull/470.
This looks nice, but unfortunately is now outdated (now that solo5 0.7 and mirage 4 is out) -- maybe someone would like to rebase / rethink this "solo5 on 32 bit" work? /cc @TheLortex