It's a really interesting project but it hasn't worked for non-trivial programs for me. I tried to use it on my Raft implementation. Hermit crashed with obscure (to me) error messages.

Others have commented on here before, it admittedly doesn't seem to be actively maintained.

> Just to let you know we’re not actively working on Hermit in the team

https://github.com/facebookexperimental/hermit/issues/34#iss...