mirage/mirage

Issues

• Target.configure is executed twice in a mirage configure

  #1594 opened 2 months ago by hannesm
  0

• Put git/happy-eyeballs/dns arguments into separate man page sections

  #1587 opened 2 months ago by hannesm
  0

• RFC: runtime arguments issues, next iteration

  #1572 opened 3 months ago by hannesm
  5

• Regenerating the docs at https://mirage.github.io to work better on Smartphones

  #1551 opened 3 months ago by sabine
  2

• question about retiring Random / PCLOCK / MCLOCK / Time interfaces and functors

  #1513 opened 9 months ago by hannesm
  15

• Release planning

  #1554 opened 3 months ago by hannesm
  1

• Documentation for Mirage.create_ipv4 is stale

  #1560 opened 3 months ago by reynir
  0

• Warnings in config.ml

  #1553 opened 3 months ago by hannesm
  0

• test failures with opam-repo-ci and OCaml 5

  #1569 opened 3 months ago by hannesm
  2

• opam file: An extra `/` in the beginning of the path of http(s) URIs

  #1563 opened 3 months ago by reynir
  4

• Config.ml version check breaks pinning mirage

  #1565 opened 3 months ago by reynir
  10

• Syntax ERR

  #1562 opened 4 months ago by SundosDBL
  1

• Update README.md for mirage-bootvar-{unix,solo5,xen}

  #1561 opened 4 months ago by palainp
  1

• Release 4.6.1

  #1556 opened 5 months ago by hannesm
  1

• Discoverability of options from binary

  #1514 opened 9 months ago by reynir
  0

• Question about API and layering of network stacks

  #1550 opened 7 months ago by hannesm
  1

• Release 4.5.2

  #1547 opened 7 months ago by hannesm
  1

• release of 4.5.1

  #1536 opened 8 months ago by hannesm
  1

• mirage 4.5.0 errors report sometimes off-by-one

  #1528 opened 8 months ago by hannesm
  1

• Errors reported by mirage 4.5.0

  #1520 opened 8 months ago by hannesm
  6

• `Mirage.Runtime_arg.create` undocumented

  #1532 opened 8 months ago by reynir
  1

• Documentation: don't refer to functoria documentation

  #1512 opened 8 months ago by reynir
  2

• new release -- testing out the current main branch

  #1483 opened 8 months ago by hannesm
  27

• unikernel man pages -- section ordering

  #1530 opened 8 months ago by hannesm
  2

• development story - the "unikernel as sample" in the same git repository as an opam package

  #1497 opened a year ago by hannesm
  2

• "make clean" doesn't clean the "duniverse" directory

  #1496 opened a year ago by hannesm
  1

• with current main branch, there's regression (network interface names)

  #1479 opened a year ago by hannesm
  4

• generated opam file issues

  #1421 opened a year ago by hannesm
  1

• Next release -- 4.4.1

  #1489 opened a year ago by hannesm
  4

• `opam-monorepo` wants to pin many projects when we want to `make depends`

  #1476 opened a year ago by dinosaure
  3

• question about configuration/runtime keys and "staging" thereof

  #1422 opened a year ago by hannesm
  19

• Makefile: opam install the lock file

  #1415 opened 2 years ago by reynir
  3

• request for input: should we remove --config-file / -c / --file argument?

  #1471 opened a year ago by hannesm
  4

• Provide a boot parameter to delay startup by some seconds

  #1468 opened a year ago by hannesm
  3

• ability to specify minimal mirage version in configure

  #1381 opened a year ago by hannesm
  2

• add upper bound to ocaml < 5

  #1408 opened a year ago by hannesm
  6

• drop "build" subcommand

  #1386 opened 2 years ago by hannesm
  1

• Muen and boot parameters

  #1459 opened 2 years ago by hannesm
  2

• Docteur with relative paths look in _build/ directory

  #1445 opened 2 years ago by reynir
  5

• app_info: quo vadis?

  #1438 opened 2 years ago by hannesm
  7

• Mirage.register and Functoria.foreign/main duplicated arguments

  #1433 opened 2 years ago by hannesm
  1

• Behavior of jobs without dependencies

  #1426 opened 2 years ago by reynir
  5

• bounds on solo5 do not work

  #1420 opened 2 years ago by hannesm
  5

• Outreachy Summer 2023

  #1402 opened 2 years ago by moazzammoriani
  50

• Test generated makefile

  #1398 opened 2 years ago by hannesm
  1

• Can we run MirageOS on a bare metal server for better performance.

  #1395 opened 2 years ago by kshv190
  2

• Delete `git_happy_eyeballs` at the next release

  #1378 opened 2 years ago by dinosaure
  4

• merlin does not work when working on MirageOS 4 unikernels

  #1384 opened 2 years ago by hannesm
  4

• The CI fails about MacOS

  #1377 opened 2 years ago by dinosaure
  1

• `package ~pin` doesn't always respect the pin

  #1375 opened 2 years ago by reynir
  1