Re: MirageOS biweekly call today 14:00 CET

[Hannes Mehnert <hannes@xxxxxxxxxxx>]

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