[new release] mirage, mirage-runtime, functoria and functoria-runtime (4.4.1)

[hannesm]

The MirageOS library operating system

• Project page: https://github.com/mirage/mirage
• Documentation: https://mirage.github.io/mirage/

CHANGES:

• Document exit codes in --help (Document in the --help output also the exit codes that will be present. mirage/mirage#1485 @hannesm)
• Avoid dependency on environment variable (removing MIRAGE_LOGS fix log_threshold documentation mirage/mirage#1484 @hannesm)
• BUGFIX: dune.config mark "dist" as data-only-dir to allow config.ml being
  compiled (dune.config file misconfigured mirage/mirage#1475 @memst)
• Allow git 3.14 (allow git 3.14 as well mirage/mirage#1474 @hannesm)
• Default to best-fit allocation (default to best-fit allocation policy mirage/mirage#1473 @hannesm)
• FEATURE: Add a key "--delay" to all unikernels (support for an initial delay of unikernels mirage/mirage#1472 @hannesm, fixes Provide a boot parameter to delay startup by some seconds mirage/mirage#1468)
• Fix Unix target dune rule (add a deps) (minor fixes mirage/mirage#1469 @hannesm)
• Optionally pass tcp in direct_stackv4v6, static_ipv4v6, generic_stackv4v6
  (allow passing a tcp to the direct_stackv4v6 mirage/mirage#1467 @hannesm)
• FEATURE: Support mirage version indication in first line of config.ml:
  (* mirage >= 2.3.4 & < 5.0.0 *) (Allow a mirage version in config.ml mirage/mirage#1466 @hannesm, fixes ability to specify minimal mirage version in configure mirage/mirage#1381)
• Use \033 instead of \e in generated Makefile (fixes the output on non-Linux
  systems use \033 instead of \e for ansi escape sequences mirage/mirage#1464 @hannesm)
• Adapt to mirage-logs 2.0.0 (upgrade mirage_impl_reporter for mirage-logs 2.0.0 mirage/mirage#1460 @hannesm)
• Allow version 0.8.0 of solo5 (allow solo5 0.8 line (works fine with the current set of things) mirage/mirage#1432 allow solo5 0.8 line (works fine with the current set of things) mirage/mirage#1490 @hannesm @palainp)

[hannesm]

CI failures are unrelated. There are still (again?) pretty old packages that include -Werror (which was a good idea back then), and thus fail now that newer C compilers are around with more warnings (that are errors now).

I'm happy to mark these old packages as unavailable (if some opam maintainers agrees upfront) -- but won't dig into "which distribution could still work". Since this will be in a separate PR anyways, please feel free to go ahead and merge this one (and let me know whether you'd be fine with available: false on old solo5* packets (dear opam-repository maintainer, please mark this comment with a ❤️ to denote "available: false" is fine for this, with a 👎🏾 to denote "no, we need x-ci-accept-failures").

[hannesm]

CI failures are still unrelated -- the solo5* -Werror is omnipresent (and some tezos failures)... anything I can do to get this merged rather sooner than later?

[mseri]

We wanted to discuss it first at the maintainers meeting. Thanks!