Update rng/mirage_crypto_rng.mli

Co-authored-by: Reynir Björnsson <[email protected]>
mirage · Nov 29, 2024 · 49693c9 · 49693c9
1 parent 7a60519
commit 49693c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/rng/mirage_crypto_rng.mli b/rng/mirage_crypto_rng.mli
@@ -26,8 +26,8 @@
     to use getentropy).
 
     For fine-grained control (doing entropy harvesting, etc.), please continue
-    reading the documentation below. Please be aware that the feeding of Fortuna
-    and producing random numbers is not thread-safe (it is on Miou_unix).
+    reading the documentation below. {b Please be aware that the feeding of Fortuna
+    and producing random numbers is not thread-safe} (it is on Miou_unix via Pfortuna).
 
     The RNGs here are merely the deterministic part of a full random number
     generation suite. For proper operation, they need to be seeded with a