Code

defunctorised versions of unikernels#407

Code

Open

hannesm wants to merge 3 commits intomirage:mainmirage/mirage-skeleton:mainfrom hannesm:var2hannesm/mirage-skeleton:var2Copy head branch name to clipboard

+196-235

Commits

Commits on Jan 20, 2025

• tutorial defunctorised

  hannesm

  committed
  8c3b45e

  Copy full SHA for 8c3b45e

Commits on Jan 21, 2025

• fix remaining

  hannesm

  committed
  708b8d5

  Copy full SHA for 708b8d5

Commits on Feb 4, 2025

• remove ~deps:[dep noop] now that mirage automatically inserts it

  hannesm

  committed
  0d0c5e5

  Copy full SHA for 0d0c5e5