Download Latest Version 4.10.2 source code.tar.gz (186.3 kB)
Email in envelope

Get an email when there's a new version of MirageOS

Home / v4.10.0
Name Modified Size InfoDownloads / Week
Parent folder
mirage-4.10.0.tbz 2025-09-08 155.6 kB
0
4.10.0 source code.tar.gz 2025-09-08 186.2 kB
0
4.10.0 source code.zip 2025-09-08 311.3 kB
0
README.md 2025-09-08 589 Bytes
0
Totals: 4 Items   653.6 kB 0

CHANGES:

  • Add unikraft targets (#1607 @fabbing @shym)
  • Add a ?local_libs parameter to allow local dune libs (#1609 @omegametabroccolo)
  • Add a --name argument to each unikernel (Mirage_runtime.name ()), remove monitor_hostname (#1611 @hannesm)
  • Use Git_net instead of Git_mirage (#1606 @dinosaure)
  • Fix Mirage_runtime documentation headers, use correct Stop special comment (#1605 @reynir)
  • Exclude buggy dune versions from testing (#1609 @reynir)
  • Remove unused exports about ip stacks, ipv4_config, ipv6_config, socket_tcpv4v6, and socket_udpv4v6 (#1612 @hannesm)
Source: README.md, updated 2025-09-08