Использование библиотеки C в mirageos

Question

Мне нужно сделать U2F в проекте mirageos, и, насколько я могу судить, в нем нет реализаций ocaml. Я читал эту статью в блоге, и похоже, что для этого должна быть возможность использовать библиотеку C, предоставляемую yubico, но статья, к сожалению, не объясняет, как вообще скомпилировать ее в mirage.

Кто-нибудь знает проект миража, на который я мог бы взглянуть, чтобы посмотреть, как он работает, или статью, объясняющую это?