mirage/mirage issues and pull requests

#1599 - defunctorise MCLOCK, PCLOCK, TIME, RANDOM

Pull Request - State: open - Opened by hannesm 16 days ago - 4 comments

#1598 - Update README.md

Pull Request - State: closed - Opened by samoht 28 days ago - 2 comments

#1597 - [Question] Official website URL on Github

Issue - State: closed - Opened by KY64 29 days ago - 3 comments

#1596 - add x-maintenance-intent field to the opam file

Pull Request - State: open - Opened by hannesm about 1 month ago

#1595 - allow ocaml-solo5 1.x series

Pull Request - State: closed - Opened by hannesm 2 months ago - 1 comment

#1594 - Target.configure is executed twice in a mirage configure

Issue - State: open - Opened by hannesm 3 months ago

#1593 - add DHCP device

Pull Request - State: closed - Opened by palainp 3 months ago - 1 comment

#1592 - Emit output what to do next. This fixes #921

Pull Request - State: closed - Opened by hannesm 3 months ago - 1 comment

#1591 - revise syslog, add monitoring

Pull Request - State: closed - Opened by hannesm 3 months ago - 4 comments

#1590 - separate DNS, happy-eyeballs, SSH, TLS, HTTP arguments into separate man page sections

Pull Request - State: closed - Opened by hannesm 3 months ago

#1589 - Upgrade to OCamlformat 0.27.0

Pull Request - State: closed - Opened by Julow 3 months ago - 3 comments

#1588 - fix typo in error message

Pull Request - State: closed - Opened by hannesm 4 months ago

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

Issue - State: closed - Opened by hannesm 4 months ago

#1586 - call Printexc.record_backtrace early -- will be later overwritten by --backtrace (if provided)

Pull Request - State: closed - Opened by hannesm 4 months ago - 9 comments

#1585 - add parens around the return value of register/register_arg

Pull Request - State: closed - Opened by hannesm 4 months ago - 2 comments

#1584 - Add a call to Printexc.record_backtrace

Pull Request - State: closed - Opened by reynir 4 months ago - 5 comments

#1583 - allow solo5 0.9

Pull Request - State: closed - Opened by hannesm 4 months ago

#1582 - Make config.ml and unikernel.ml co-buildable

Pull Request - State: open - Opened by samoht 4 months ago

#1581 - Mirage_runtime.logs: explain the log levels

Pull Request - State: closed - Opened by reynir 4 months ago

#1580 - OCaml runtime arguments are now in cmdliner-stdlib

Pull Request - State: closed - Opened by hannesm 4 months ago - 4 comments

#1579 - Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register

Pull Request - State: closed - Opened by hannesm 4 months ago - 1 comment

#1578 - Mirage.register: document ?src argument

Pull Request - State: closed - Opened by reynir 4 months ago - 2 comments

#1577 - keys for DNS/HE/GIT devices

Pull Request - State: closed - Opened by hannesm 4 months ago - 6 comments

#1576 - mirage.mli: fix another documentation reference

Pull Request - State: closed - Opened by hannesm 4 months ago

#1575 - Remove unused arg

Pull Request - State: closed - Opened by reynir 4 months ago - 1 comment

#1574 - provide Mirage_runtime.register_arg, deprecate Mirage_runtime.register

Pull Request - State: closed - Opened by hannesm 4 months ago - 2 comments

#1573 - improve runtime argument error messages

Pull Request - State: closed - Opened by hannesm 4 months ago - 1 comment

#1572 - RFC: runtime arguments issues, next iteration

Issue - State: closed - Opened by hannesm 4 months ago - 5 comments

#1571 - update docs after the key / runtime_arg split

Pull Request - State: closed - Opened by hannesm 4 months ago

#1570 - Use copy# for config.ml

Pull Request - State: closed - Opened by reynir 4 months ago

#1569 - test failures with opam-repo-ci and OCaml 5

Issue - State: open - Opened by hannesm 4 months ago - 2 comments

#1568 - config.ml: Make deprecation warnings non-errors

Pull Request - State: closed - Opened by reynir 4 months ago - 8 comments

#1567 - Update test with new warning

Pull Request - State: closed - Opened by reynir 4 months ago

#1566 - functoria/version check: in case our_version is not parseable, emit a…

Pull Request - State: closed - Opened by hannesm 4 months ago - 4 comments

#1565 - Config.ml version check breaks pinning mirage

Issue - State: closed - Opened by reynir 4 months ago - 10 comments

#1564 - opam src url: path includes leading slash

Pull Request - State: closed - Opened by reynir 4 months ago - 2 comments

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

Issue - State: closed - Opened by reynir 4 months ago - 4 comments

#1562 - Syntax ERR

Issue - State: closed - Opened by SundosDBL 5 months ago - 1 comment

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

Issue - State: closed - Opened by palainp 5 months ago - 1 comment

#1560 - Documentation for Mirage.create_ipv4 is stale

Issue - State: closed - Opened by reynir 5 months ago

#1559 - Tls 1.0 and mirage-crypto 1.0

Pull Request - State: closed - Opened by hannesm 5 months ago - 2 comments

#1558 - allow mirage-qubes 0.11 series

Pull Request - State: closed - Opened by hannesm 6 months ago - 4 comments

#1557 - allow tar 3.0.0 release series (no API change in tar-mirage)

Pull Request - State: closed - Opened by hannesm 6 months ago

#1556 - Release 4.6.1

Issue - State: closed - Opened by hannesm 6 months ago - 1 comment

#1555 - Re-introduce deps which can be useful to track dependencies which need to be built but not used to apply a functor

Pull Request - State: closed - Opened by dinosaure 7 months ago - 2 comments

#1554 - Release planning

Issue - State: closed - Opened by hannesm 7 months ago - 1 comment

#1553 - Warnings in config.ml

Issue - State: closed - Opened by hannesm 7 months ago

#1552 - ip: no more optional runtime arguments

Pull Request - State: closed - Opened by hannesm 8 months ago

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

Issue - State: closed - Opened by sabine 8 months ago - 2 comments

#1550 - Question about API and layering of network stacks

Issue - State: open - Opened by hannesm 8 months ago - 1 comment

#1549 - add some more documentation to RELEASE.md

Pull Request - State: closed - Opened by hannesm 8 months ago - 1 comment

#1548 - Upgrade the tool to use tcpip.8.1.0 and mirage-qubes.0.10.0

Pull Request - State: closed - Opened by dinosaure 8 months ago - 3 comments

#1547 - Release 4.5.2

Issue - State: closed - Opened by hannesm 8 months ago - 1 comment

#1546 - Provide Mirage.ethif as an alias for Mirage.etif

Pull Request - State: closed - Opened by hannesm 8 months ago

#1545 - update test output to cmdliner 1.3.0

Pull Request - State: closed - Opened by hannesm 9 months ago

#1544 - job with no arguments, check a bit more thoroughly

Pull Request - State: closed - Opened by hannesm 9 months ago - 1 comment

#1543 - Reverse the dependency between happy-eyeballs and dns-client

Pull Request - State: closed - Opened by dinosaure 9 months ago - 14 comments

#1542 - allow paf 0.6.0

Pull Request - State: closed - Opened by hannesm 9 months ago

#1541 - Simplify Runtime_args.create

Pull Request - State: closed - Opened by samoht 9 months ago - 1 comment

#1540 - internal: Fix off-by-one locations in mirage/main.ml

Pull Request - State: closed - Opened by samoht 9 months ago - 3 comments

#1539 - internal: reset the lexer location before applying functors in the ge…

Pull Request - State: closed - Opened by samoht 9 months ago - 2 comments

#1538 - allow git 3.16

Pull Request - State: closed - Opened by hannesm 9 months ago - 1 comment

#1537 - add more documentation

Pull Request - State: closed - Opened by hannesm 9 months ago - 1 comment

#1536 - release of 4.5.1

Issue - State: closed - Opened by hannesm 9 months ago - 1 comment

#1535 - On a `Term error from Cmdliner, print a Hint about how to pass a space

Pull Request - State: closed - Opened by hannesm 9 months ago - 6 comments

#1534 - update ocamlformat to 0.26.2

Pull Request - State: closed - Opened by hannesm 9 months ago

#1533 - Consolidate mirage bootvar

Pull Request - State: closed - Opened by hannesm 9 months ago - 6 comments

#1532 - `Mirage.Runtime_arg.create` undocumented

Issue - State: closed - Opened by reynir 9 months ago - 1 comment

#1531 - revise manpage sections

Pull Request - State: closed - Opened by hannesm 9 months ago - 9 comments

#1530 - unikernel man pages -- section ordering

Issue - State: closed - Opened by hannesm 9 months ago - 2 comments

#1529 - Mirage time defunctorised

Pull Request - State: closed - Opened by hannesm 9 months ago - 6 comments

#1528 - mirage 4.5.0 errors report sometimes off-by-one

Issue - State: closed - Opened by hannesm 9 months ago - 1 comment

#1527 - fix generated opam file - the build rule is now `make "-Csubdir" "build"

Pull Request - State: closed - Opened by hannesm 9 months ago - 2 comments

#1526 - mirage-runtime: provide sleeper storage

Pull Request - State: closed - Opened by hannesm 9 months ago - 3 comments

#1525 - add the options to specify "host" (and "socket") for the host system network stack

Pull Request - State: closed - Opened by hannesm 10 months ago

#1524 - functoria: Constraint the start function to 'unit Lwt.t'

Pull Request - State: closed - Opened by Julow 10 months ago - 12 comments

#1523 - doc: Update inline examples to Runtime_arg

Pull Request - State: closed - Opened by Julow 10 months ago - 1 comment

#1522 - functoria: Quote Runtime_arg.call

Pull Request - State: closed - Opened by Julow 10 months ago - 6 comments

#1521 - Mirage logs no clock

Pull Request - State: closed - Opened by hannesm 10 months ago - 1 comment

#1520 - Errors reported by mirage 4.5.0

Issue - State: closed - Opened by hannesm 10 months ago - 6 comments

#1519 - Add a new draft to help with the release

Pull Request - State: closed - Opened by samoht 10 months ago

#1518 - Bump mirage-runtime versions in the generated opam files

Pull Request - State: closed - Opened by samoht 10 months ago

#1517 - Prepare the 4.5.0 release

Pull Request - State: closed - Opened by samoht 10 months ago

#1516 - Revert https://github.com/mirage/mirage/pull/1515

Pull Request - State: closed - Opened by samoht 10 months ago

#1515 - Make config.ml and unikernel.ml co-buildable

Pull Request - State: closed - Opened by samoht 10 months ago - 5 comments

#1514 - Discoverability of options from binary

Issue - State: open - Opened by reynir 10 months ago

#1513 - question about retiring Random / PCLOCK / MCLOCK / Time interfaces and functors

Issue - State: open - Opened by hannesm 11 months ago - 16 comments