For completeness, I’m leaving here a short comment about our updates:
although we will keep in touch with the groups behind HAL4RT and OpenEL efforts, after an offline discussion, Iweve made an update to the original announcement and crossed over the HAL4RT and OpenEL claims until we clarify exactly the status of those documents/efforts.
A new version of the paper has been submitted to arXiv and should be available tomorrow. Thanks @gbiggs for the support.
Needless to say, HRIM will keep growing as we get more and more contributors, supporters and (hardware) devices captured in the model.