Les technologies OCaml et MirageOS de Tarides s'addressent aux sociétés IoT qui souhaitent maximiser l'utilisation de ressources limitées au sein de leur hardware embarqué de façon efficace et sécurisée.
En comparaison avec Embedded Linux, MirageOS est plus léger, plus efficace et plus simple à auditer & maintenir. En complément, l'utilisation de MirageOS permet d'éviter la majorité des zero-days , minimisant ainsi les risques cyber.