There are several ports of Project Everest code available in opam nowadays: project-everest/hacl-star, mirage/hacl. From the discussion, it looks like hacl-star may become canonical port, and it probably makes sense from a security and performance point of view to switch to that backend, too.