Code

Mirage time variant#515

Code

Draft

hannesm wants to merge 3 commits intomirage:mainmirage/mirage-tcpip:mainfrom hannesm:mirage-time-varianthannesm/mirage-tcpip:mirage-time-variantCopy head branch name to clipboard

+66-83

Commits

Commits on May 7, 2024

• use mirage-crypto-rng directly, no need for mirage-random-test

  hannesm

  committed
  bb600e2

  Copy full SHA for bb600e2

• remove calls to mirage-profile in vnetif_backends.ml

  hannesm

  committed
  33b9ddf

  Copy full SHA for 33b9ddf

• remove time as functor argument

  hannesm

  committed
  220520e

  Copy full SHA for 220520e