[mk89]

in the overview page they mention something (deployment to embedded devices) https://mirage.io/docs/overview-of-mirage

EDIT: here as well: https://mirage.io/docs/install maybe you need a Solo5 backend that can run on ARM; and finally: https://github.com/Solo5/solo5/blob/v0.6.3/docs/building.md#...