[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MirageOS biweekly call today 14:00 CET



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





 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.