Jason Long, 2020/06/20:
I don't know this address is OK for this kind of questions or not.
It should be fine, given how quiet the list is.
I want to know what is the benefit of the Mirage OS?
Have you read this? https://mirage.io
Which companies using it and for what?
I don't know.
How can I download and install it?
[Docs :: Installation](https://mirage.io/wiki/install)
Why it using Ocalm programming language?
Because OCaml rocks.
