Tarides helps IoT companies use the limited resources of embedded hardware in the most efficient and secure manner through the use of OCaml and MirageOS.
Compared to Embedded Linux, MirageOS is smaller, more efficient and easier to audit & maintain. Last but not least, MirageOS eliminates most zero day exploits of Embedded Linux to ensure significantly reduced cyber risks.