Hi,
some notes from yesterday's meeting -- next one in 2 weeks (Feb 1st,
14:00 CET, https://whereby.com/ocamllabs).
Take care,
Hannes
# Mirage 2023-01-18
participants: reynir, Pierre, Thomas Leonard, Taka, Christiano
Haesbaert, Hannes, dinosaure
## OCaml-solo5 and OCaml 5
- https://github.com/mirage/ocaml-solo5/pull/124 (earlier
https://github.com/mirage/ocaml-solo5/pull/122)
- Thread Local Storage (TLS) (related
https://github.com/Solo5/solo5/pull/420
https://github.com/Solo5/solo5/pull/436)
- idea: have a specific ELF section for TLS, protected left and right by
zones without any permissions
- solo5 and TLS for clang/ld.lld: adjust flags/linker script
- copy tdata out for each domain
- maybe move malloc (back) to solo5?
~> first get ocaml-solo5 and mirage and solo5 and ocaml5 to work nicely
together on a single core
- solver issue about base domain in opam-monorepo wrt. ocaml 5 & mirage
https://github.com/tarides/opam-monorepo/issues/340
- upstream issue/PR for max_number_of_domains (which may be removed from
the OCaml runtime at some point), we'd appreciate a configuration flag
## Mirage website
- difficulties in making adjustments on the website and conducting local
builds
- among others https://github.com/mirage/mirage-www/issues/792
## tls-eio plans
- https://github.com/mirleft/ocaml-tls/issues/464
## Mirage retreat May 1st - 7th in Marrakesh (see http://retreat.mirage.io)
## Tar: remove Tar.Make etc. https://github.com/mirage/ocaml-tar/issues/107
## qubes-mirage-firewall bandwidth stats
- https://data.robur.coop/qubes-mirage-firewall-stats.png
## if you want an email address <user>@x25519.net, ask dinosaure - it's
a SMTP stack all written in OCaml + MirageOS
On 18/01/2023 11:31, Hannes Mehnert wrote:
Hello,
in 2.5 hours we'll have our next MirageOS call at
https://whereby.com/ocamllabs
The agenda and notes will appear on
https://pad.data.coop/emXipN9qQWWTJgfOOI2m3Q
See you soon,
Hannes
