I just wrote an article about: how to implement a #cryptographic protocol with #OCaml for #MirageOS, it's available here: blog.osau.re/articles/spoke.ht… 😀 Enjoy it!