Module Nocrypto_entropy_mirage

RNG seeding on Mirage.

This module provides RNG seeding from Mirage entropy sources, typically originating from within the unikernel itself. On Unix, Nocrypto_entropy_lwt should be used in preference.

Calling initialize should be enough to get a seeded RNG.

It is the responsibility of the Mirage platform to set up entropy harvesting and seeding of the Nocrypto RNG. There is no need to use this module directly.

Default generator initialization

val initialize : unit -> unit Lwt.t

Starts seeding the current default generator and stops the previous seeding process started through the same function. Idempotent as long as the default generator is unchanged.

Interface to Mirage Entropy

val sources : unit -> Entropy.source list option

Entropy.sources set up with the last initialize.

attach e g starts seeding g from the entropy provider e and returns the token to stop the seeding.