Dear everyone,
I hope you had a great summer break. It is my pleasure to invite you to
the upcoming MirageOS community meeting on Monday Sep 1st between 10:00
and 12:00 CEST.
We meet as usual at https://meet.jit.si/MirageOS -- the agenda and notes
will be discussed and transcribed at
https:
Dear everyone,
please find a (fixed) security issue for albatross-console, discovered
and reported by Edwin Török.
Have a nice weekend,
Hannes
Background
==
Albatross-console reads the console output from multiple unikernel
tenders (solo5-hvt). This console output can be retrieved
Dear everybody,
last week we had a nice discussion. The next one is in one week (June
30th 10:00 - 12:00 CEST at https://meet.jit.si/MirageOS -- see our
shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for
notes and agenda (add your talking points there) :))
Below are the no
Hi everyone,
The next proposed meeting is Monday, June 16th 10:00 - 12:00 CEST at
https://meet.jit.si/MirageOS -- see our shared pad at
https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda
(add your talking points there) :)
Below are the notes from the last meeting (June 2
Dear everyone,
due to Internet connectivity and failure to remind ourselves there was
no meeting last week.
Let's meet next Monday again.
Looking forward to see you there,
Hannes
On 29/04/2025 12:45, Hannes Mehnert wrote:
Hello again,
our next meeting is on May 19th (in 2.5
Dear Miroslav,
thanks for reaching out.
So, your config.ml:
> open Mirage
> let stack = generic_stackv4v6 default_network
>
> let net = netif “secret”
> let secret_stack = generic_stackv4v6 net
> (* Main unikernel module *)
> let main =
> main
> ~packages:[package "cohttp-mira
Hello again,
our next meeting is on May 19th (in 2.5 weeks) -- live from the retreat
(let's see how that goes). We'll be at https://meet.jit.si/MirageOS --
see our shared pad at https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both#
for notes and agenda (add your talking points there) :)
Here ar
(sorry about the last mail with a wrong month, I retry here)
Hi everyone,
let's restart the bi-weekly community meetings to synchronize.
The next proposed meeting is the upcoming Monday, April 28th 10:00 -
12:00 CEST at https://meet.jit.si/MirageOS -- see our shared pad at
https://pad.data.co
Hi everyone,
let's restart the bi-weekly community meetings to synchronize.
The next proposed meeting is the upcoming Monday, March 28th 10:00 -
12:00 CEST at https://meet.jit.si/MirageOS -- see our shared pad at
https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda
(add you
Dear Lucas,
On 27/03/2025 16:03, Lucas Aubard wrote:
I am Lucas Aubard. I am a PhD student in an Inria lab in Rennes, France.
This PhD is supervised by Gilles Guette (IMT Atlantique), Pierre Chifflier
(ANSSI) and Johan Mazel (ANSSI).
During our research work, we analyzed mirage-tcpip 9.0.0 rea
Dear Kate,
thanks for reaching out.
On 11/04/2025 01:45, Kate Deplaix wrote:
I was wondering if anything changed since last time i asked around a few years
ago, but does anyone know a hosting service that would take mirage images? hvt
is probably best and xen might be fine too, but anecdotal
x27;s now ocaml-base-compiler 5.3.0,
ocaml-variants 5.3.0, ocaml 5.3.0, and ocaml-compiler 5.3.0.
Hannes
On 10/02/2025 11:12, Hannes Mehnert wrote:
Hi,
On 22/01/2025 18:11, Mindy Preston wrote:
Over the past few months, I have occasionally attempted to build some
MirageOS projects but ve
Hi,
On 22/01/2025 18:11, Mindy Preston wrote:
Over the past few months, I have occasionally attempted to build some MirageOS
projects but very frequently I encounter some time-consuming or work-halting
problem with opam-monorepo, often a problem which seems non-deterministic. I
have a few que
Thanks for the discussion,
On 03/02/2025 20:45, Anil Madhavapeddy wrote:
On Feb 3, 2025, at 5:30 PM, Samuel Hym wrote:
My understanding of the issue was to munmap of a chunk inside an mmapped
region, which requires a full mmap/munmap implementation (we don't have
currently). I'm not sure wh
Hey,
thanks for your feedback.
The feedback is very positive for this change. Thomas mentioned we
should avoid `~deps:[ dep noop ]` and automatically insert a delay unit
argument (to Unikernel.start) if needed.
I did so in the mirage PR
(https://github.com/mirage/mirage/pull/1599/commits/c9
Dear everyone,
we'll have another retreat this year in Marrakesh.
The registration is open now, please take a look at
https://retreat.mirageos.org -- sign up and spread the word.
See you soon,
Hannes
On 27/01/2025 10:37, Reynir Björnsson wrote:
### GC compactor
- The GC compactor will unmap _ leading to ABORT
- As you have to call the compactor explicitly we probably did not test it
- Maybe we don't actually need compaction?
- Sam: Observeration from mirage-www:
- the behavior was similar
Dear everyone,
as discussed on the retreat last year, and in May 2024 on this list, and
further in the Mirage issue tracker, finally I went through the quite
large corpus of packages to provide a showcase how this will look like
(including working mirage-skeleton unikernels).
So, if you have
mentions that the slot is good for him, but every time he is busy
with some other thing
### Mollymawk
- robur got a grant for working on mollymawk from NLnet / EU tax payers
- we're excited to continue the work on it, and this will make (one path
for) deployment of MirageOS unikernels easier
Hey,
as a reminder on Monday morning we've our next meeting.
On 07/01/2025 12:02, Hannes Mehnert wrote:
The next meeting is the upcoming Monday, January 13th 10:00 - 12:00 CET
at https://meet.jit.si/MirageOS -- see our shared pad at
https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for
Dear everyone,
as you may have seen I'm involved in a project to push opam packages out
of the main opam-repository to improve the performance for everyone
(read more at
https://discuss.ocaml.org/t/proposed-package-archiving-policy-for-the-opam-repository/).
Now, we're getting closer to "Pha
Hello,
sorry for the late reply -- but we had some notes from the meeting below.
The next meeting is the upcoming Monday, January 13th 10:00 - 12:00 CET
at https://meet.jit.si/MirageOS -- see our shared pad at
https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both# for notes and agenda
(add your t
Hey,
happy new year to you all!
On 16/12/2024 16:31, Nick Betteridge wrote:
Thanks for your detailed reply - very useful and a great overview of how
you and Robur handle the compilation chain.
Thanks for the correct ocamlnat link - I should have asked at the time!
I also naively overlooked
Dear Nick,
On 16/12/2024 11:42, Nick Betteridge wrote:
Does anyone know of any unikernels that can build unikernels for the
local platform, using something like ocaml-monorepo and, perhaps, irmin?
I'm afraid I'm not aware of such a unikernel - though that'd be great,
one that is able to compi
Hey,
we'll meet on Monday, https://meet.jit.si/MirageOS, shared pad
https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both#
See you soon,
Hannes
Hey,
please find below the notes from our last meeting. The next meeting is
on Monday Dec 9th, 10:00-12:00 CET
Best,
Hannes
## Meeting Nov 25th 10:00 - 12:00 CET
- Participants: Sam, Reynir, Hannes, Pierre
### OCaml 5
- https://github.com/mirage/ocaml-solo5/pull/134
- Sam continued and reb
The notes from the meeting yesterday are below. Thanks to everyone
participating.
We discussed and found Monday mornings as a better fit for meeting, thus
the next meeting is on Nov 25th 10:00 - 12:00 CET. Please add your
agenda items to https://pad.data.coop/To6IOSeNSOK9kFVlgo7XWw?both#
Be
Hello again,
sorry, time adjusted: 11:00 - 12:30 CET.
See you,
Hannes
On 08/11/2024 14:13, Hannes Mehnert wrote:
Hey there,
it has been a long summer time, but finally we want to re-establish the
biweekly calls.
From now on, they will be on Tuesdays from 10:00 - 11:30 CET (please
Hey there,
it has been a long summer time, but finally we want to re-establish the
biweekly calls.
From now on, they will be on Tuesdays from 10:00 - 11:30 CET (please
raise your voice if that doesn't work out for you, with a proposal of
two different time slots).
The first meeting will be
2 Oct 2024, at 11:54, Hannes Mehnert wrote:
Dear valued MirageOS hacker,
it is my pleasure - we just published a blog article on Mirage Runtime
Arguments (https://blog.robur.coop/articles/arguments.html), which includes a
(brief) history of Hello World and their changes.
You can lean back
Dear valued MirageOS hacker,
it is my pleasure - we just published a blog article on Mirage Runtime
Arguments (https://blog.robur.coop/articles/arguments.html), which
includes a (brief) history of Hello World and their changes.
You can lean back and take 2 minutes to watch
https://asciinema.
Dear MirageOS developers,
more discussion on the issue tracker lead me to a revised approach. I
prepared a showcase for the changes to mirage itself at
https://github.com/mirage/mirage/pull/1579 and would be happy to get
some feedback. (Earlier discussions in
https://github.com/mirage/mirage/
Dear Anil, dear Pierre,
I appreciate to move forward to use bytes/string where possible - mainly
guided by:
- nicer tooling support (statmemprof) [lots of tooling doesn't deal with
externally allocated memory well (doesn't take it into account, GC
doesn't nicely work with us when it comes to h
Hello,
below are the notes from the meeting. Next meeting in two weeks (since
it is not clear whether I'll be available, someone else needs to
organize it).
Participants: Pierre, Thomas G., Samuel, Virgile, Hannes, Fabrice
Agenda:
- network API thoughts https://github.com/mirage/mirage/issue
Hi everyone,
The next MirageOS community call will be Monday June 24th at 9:00-10:00
CEST.
https://www.timeanddate.com/worldclock/fixedtime.html?msg=MirageOS+call&iso=20240624T07&ah=1
As usual everyone is welcome to attend this bi-weekly meeting. The
current agenda is here: https://pad.data.
Hello,
our next meeting is in two weeks, June 10th at 09:00 CEST
(https://www.timeanddate.com/worldclock/fixedtime.html?msg=MirageOS+call&iso=20240610T07&ah=1)
As usual everyone is welcome to attend this bi-weekly meeting. The
current agenda is here: https://pad.data.coop/wGS4r8RyTKqQ73mcw7Fr
Hi everyone,
The next MirageOS community call will be Monday May 27th at 9:00-10:00
CEST.
https://www.timeanddate.com/worldclock/fixedtime.html?msg=MirageOS+call&iso=20240527T07&ah=1
As usual everyone is welcome to attend this bi-weekly meeting. The
current agenda is here: https://pad.data.c
Hey,
here are the notes from our meeting. Next meeting next week (Monday
20th, 09:00 CEST
https://www.timeanddate.com/worldclock/fixedtime.html?msg=MirageOS+call&iso=20240520T07&ah=1
Participants: Thomas G, Kaushik, Rajesh, Pierre, Samuel, Vincent Balat,
Hannes, Reynir, Pixie
Agenda:
-
Dear everyone,
mirage - the tool - removed the support for choosing the
"mirage-random-stdlib" in mid-March 2020 (release v3.7.5). Nobody misses it.
Today, I archived the mirage-random-stdlib and mirage-random-test
repository. For all users of mirage-random-test: use mirage-crypto-rng
instea
Dear valued MirageOS developer (or person interested in MirageOS),
as mentioned in the last MirageOS community meeting, and also at the
retreat in Marrakesh, I started to work on removing functors from
MirageOS - and use the linking trick (use the interface for compilation
of dependencies, and
Dear all,
as a reminder, this is in 11 hours. :)
See you soon,
Hannes
On 29/04/2024 09:11, Magnus Skjegstad wrote:
Hi everyone,
The next MirageOS community call will be Monday May 6th at 9:00-10:00 CEST.
As usual everyone is welcome to attend this bi-weekly meeting. The current
agenda is
Dear everyone,
this is a headsup to let you know the package "mirage-profile" - which
served for a good time to get traces in a xen shared ring for debugging
unikernels, has been removed.
The background is that when we introduced solo5-xen-pvh support (since
solo5 0.6.6, released 2020-07-21)
Hello,
our next meeting is on April 29th 09:00 CEST
(https://www.timeanddate.com/worldclock/fixedtime.html?msg=MirageOS+call&iso=20240429T09&ah=1)
on https://meet.jit.si/mirageos-call
Agenda is tracked on https://pad.data.coop/wGS4r8RyTKqQ73mcw7FrwA?both#
The meetings notes from today:
Par
Hello,
the meeting notes from two weeks ago:
Participants: Magnus, Pierre, Thomas, Vincent, Reynir, Samuel, Romain,
Hannes, Shakthi
- What do we want Mirage5 to look like? And when do we want to make a
release? (Thomas)
- runtime args
- many changes in mirage tool, so should pro
Dear friends,
it is my pleasure to tell there'll be a next MirageOS retreat in
Marrakesh. It will take place April 22nd - 28th, please register early
by eMail to retreat2...@nqsb.io. There's an early bird discount if you
register within the next 10 days (and pay by end of February).
Spread t
On 17/12/2023 11:33, Thomas Gazagnaire wrote:
Some repositories in the mirage organization are suffering from bitrot, and/or
lack of cleanups or reviews (such as the ocaml-solo5 PR waiting since a long
time for proper reviews that would enable to use OCaml 5) -- my personal
experience with OCa
Hi,
thanks for your elaborate mail. I have some comments inline below.
On 15/12/2023 19:18, Thomas Gazagnaire wrote:
### Tooling
Over the past five years, our efforts have focused on integrating
Mirage-specific tooling into the OCaml Platform. We plan to continue in this
direction. This in
Dear all,
it is pretty quite on this list. I'm not sure whether this is a good
sign or not.
I unfortunately had to cancel the retreat in November due to lack of
signups (3 people managed to sign up within the deadline) :/ While late
signups are possible, it is always a burden.
But I have s
Dear all,
it is my pleasure to announce the next MirageOS retreat, which will take
place again in Marrakesh from November 20th - 26th.
You can find further information on our website (including articles
about earlier retreats): https://retreat.mirage.io
Have a nice summer - I'm looking for
On 11/04/2023 16:47, Hannes Mehnert wrote:
Hey,
tomorrow at 14:00 CEST we'll have our next bi-wekkly MirageOS meeting at
https://whereby.com/ocamllabs.
The (not very populated) agenda is at
https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose
additional items by a
Hey,
tomorrow at 14:00 CEST we'll have our next bi-wekkly MirageOS meeting at
https://whereby.com/ocamllabs.
The (not very populated) agenda is at
https://pad.data.coop/3ZvkfHcpStms5swZho7r_g# -- feel free to propose
additional items by adding them to the pad.
Looking forward to see you t
Hi,
I'm happy to announce that there will be a next retreat in Marrakech.
Please find full details at https://retreat.mirage.io and sign up as
soon as possible (latest March 15th). The fee for accomodation and full
board is 450 EUR.
Best,
Hannes
Hey,
our notes are below -- next meeting in two weeks (Mar 15th 14:00 CET in
whereby.com/ocamllabs), agenda
https://pad.data.coop/k2z2UqDCQ1G1ZOic6g7XwA# (please add stuff you'd
like to discuss).
Best,
Hannes
# MirageOS meeting 2023-03-01
Attendees: reynir, Pierre, Taka, Lortex, Thomas Le
As a reminder, this is today (Wednesday March 1st) at 14:00 CET.
See you there,
Hannes
On 15/02/2023 15:02, Reynir wrote:
Dear list,
The next MirageOS meeting happens first of March at 14:00 CET online at
https://whereby.com/ocamllabs. The agenda and notes will be at
https://pad.data.coop
/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 @x25519.net, ask dinosaure - it's
a SMTP stack all written in OCaml + MirageOS
On 18/01/2023 11:31, Hannes Mehnert wrote:
Hell
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
ome segfaults, needs further work
- christiano solo5 and multicore still of interest
## TCP benchmark for the qubes firewall
- christiano: maybe reordering?
- nobody had time to work on it
## next meeting: January 4h 2023 14:00 CET
On 14/12/2022 10:43, Hannes Mehnert wrote:
Hello everyone,
as a
## MirageOS Security Advisory 03 - infinite loop in console output on xen
- Module: solo5
- Announced:2022-12-07
- Credits: Krzysztof Burghardt, Pierre Alain, Thomas Leonard,
Hannes Mehnert
- Affects: solo5 >= 0.6.6 & < 0.7.5,
qubes-mirage-firewal
Hello everyone,
as a reminder we'll have later today at 14:00 CET (in 3 hours) the next
MirageOS meeting at https://whereby.com/ocamllabs.
Please find and edit the agenda at
https://pad.data.coop/RszC9z57QIi4ovLXUvVWIw#
See you soon,
Hannes
to restrict / lower bound a mirage
version? - no, but we should work on such a check:
- in config.ml specify the lower bound of mirage
- mirage configure should check its version against the lower bound
and complain if it is not compatible
On 29/11/2022 18:54, Hannes Mehnert wrote:
Hi,
Hi,
since we missed that meeting last week, let's meet tomorrow (Nov 30th)
at 14:00 CET on whereby.com/ocamllabs. The agenda is in the pad
https://pad.data.coop/V5YCNQ9HSGioZ46aeQaHoQ?view (feel free to add your
points).
Best,
Hannes
On 15/11/2022 15:46, Reynir wrote:
Hello,
It seems th
Hey,
we have some blog posts about the retreat happened -- read and share
them if you like:
* Raphaël https://raphael-proust.gitlab.io/code/mirage-retreat-2022-10.html
* Jules, Sayo, Enguerrand, Sonja, Jan, Lucas
https://tarides.com/blog/2022-10-28-the-mirageos-retreat-a-journey-of-food-cats-
# MirageOS 2022-10-12
participants: pierre, thomas, taka, lucas, christiano, jules, hannes
## reports from the retreat
- qubes firewall (just released 0.8.2)
- raspberry pi 4 (starting from romain's gilbraltar, fixed compilation
with gcc11 + gcc12, with sonja worked on a jack driver): we can no
sorry, the mail I sent just now had the old subject -- fixed in this
mail. It'll be tomorrow (Wednesday, Oct 12th).
Hannes
On 11/10/2022 11:24, Hannes Mehnert wrote:
Hey,
tomorrow from 14:00 CEST we'll have the next mirageos meeting at
https://whereby.com/ocamlllabs (no
Hey,
tomorrow from 14:00 CEST we'll have the next mirageos meeting at
https://whereby.com/ocamlllabs (notes
https://pad.data.coop/1Rja2gqyQDW8zdyhd7dObg#)
If you've agenda items, feel free to put them in the pad.
Best and see you tomorrow,
Hannes
Hello,
below is the notes we took during the meeting. The next one is in three
weeks (Oct 12th).
Best,
Hannes
# mirage 2022-09-21
participants: christiano, reynir, hannes, thomas leonard, rand, anil,
dave, mindy
## mirage-kv changes
- released as mirage-kv 5.0
- get_partial, size, set_pa
Hey,
tomorrow from 14:00 CEST we'll have the next mirageos meeting at
https://whereby.com/ocamlllabs (notes
https://pad.data.coop/aOHbvgwaR46JQXMbqgoKlQ#)
If you've agenda items, feel free to put them in the pad.
Best and see you tomorrow,
Hannes
Eventually related is this old issue in mirage:
https://github.com/mirage/mirage/issues/240
On 07/09/2022 17:18, Christiano F. Haesbaert wrote:
That looks painfully slow, it's sad that iperf doesn't report packets per
second but that's around ~5kpps at 1460B/frame.
I'm also surprised your sende
r of
Tcpip.Stack.V4V6) https://github.com/mirage/mirage/issues/1339
- agreed, let's merge
## tls-eio https://github.com/mirleft/ocaml-tls/pull/451
- CI is failing: add a "ocaml < 5" annotation to tls-async
- could get a review
- requires mirage-crypto-rng-eio (merge & release)
Hey,
on this Wednesday, September 7th, starting at 14:00 CEST in
https://whereby.com/ocamllabs, we'll have a MirageOS meeting again.
We'll take notes at https://pad.data.coop/kLbooYhzS-CUUd4vxp0qaA#
The agenda so far has some API adjustments, and removing some deprecated
code -- feel free to
Hi,
I'm happy to announce that there will be a next retreat in Mirleft.
Please find full details at http://retreat.mirage.io and sign up as soon
as possible (latest end of August). It will be in sunny Mirleft
(southern Morocco - next airport is Agadir). Accomodation will be
single-bed rooms.
Hi,
sorry I'm not able to make it today. So the next meeting will be in two
weeks, June 22nd 14:00 CEST (ics attached). I'll write a reminder before
that takes place.
Best,
Hannes
On 27/05/2022 12:08, Hannes Mehnert wrote:
The next meeting will be on June 8th at 14:00 CEST
Hello,
thanks for the interesting discussions at the meeting last Wednesday.
The next meeting will be on June 8th at 14:00 CEST (again on
https://whereby.com/ocamllabs). The agenda and minutes at
https://pad.data.coop/jgZ3NnyETWaaIT-5FM8ceA# (ics attached)
The minutes from last meeting are b
Hey,
tomorrow (in 16.5h) we'll meet again on https://whereby.com/ocamllabs
Agenda and minutes will be in https://pad.data.coop/8gF4xiH4R2uXB8ZkEKQFSQ#
See you,
Hannes
20220525-mirage.ics
Description: application/unknown-content-type
n use virtio, or hvt/spt
- unikraft: well maintained, lacking a ocaml-unikraft (OCaml runtime) --
who's in charge of driving the build?
# Binaries that work everywhere
- https://github.com/dinosaure/esperanto (based on
https://github.com/jart/cosmopolitan)
On 09/05/2022 11:12, Hannes Mehnert
Hi,
on Wednesday May 11th at 14:00 CEST we'll have the next meeting. Please
find the ics attached. We'll meet at https://whereby.com/ocamllabs and
have agenda & notes in https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg#
See you soon,
Hannes
mirage-20220511.ics
Description: application/unknown-
Thanks for attending the meeting yesterday, notes below -- I'll send a
reminder for May 11th (14:00 CEST) on Friday May 6th (ICS attached), pad
https://pad.data.coop/UYg4LbYLSNySD50QiQrPYg#
Best,
Hannes
# MirageOS meeting 2022-04-27
attendees: Taka (@timada), Romain (@dinosaure), magnus (@m
Hello,
we will restart bi-weekly MirageOS meetings to have a space for the
community to discuss topics.
The first one will be the upcoming Wednesday April 27th at 14:00 CEST
(until 15:00) on https://whereby.com/ocamllabs (please find an ics
attached). Everyone is welcome. Feel free to sugges
Dear all,
we at robur have been busy with reproducible binary builds (of opam
packages and MiageOS unikernels), and are delighted to announce that you
can now install and run unikernels without compiling OCaml.
Have a look at the overview blog post
https://mirage.io/blog/deploying-mirageos-r
Hi Adam,
On 26/11/2021 13:02, Adam Steen wrote:
ocamlopt
duniverse/parsexp/src/.parsexp.objs/native/parsexp__Parser_automaton.{cmx,o}
(exit 2)
(cd _build/default && /home/adams/.opam/default/bin/ocamlopt.opt -w -40 -w -a
-g -I duniverse/parsexp/src/.parsexp.objs/byte -I
duniverse/parsex
Hello,
On 26/11/2021 12:55, Adam Steen wrote:
On Friday, November 26th, 2021 at 8:43 AM, Anil Madhavapeddy
wrote:
On 26 Nov 2021, at 01:31, Adam Steen a...@adamsteen.com.au wrote:
and ocaml-freestanding fails with
configure: error: C99 float ops unavailable, enable replacements with
--enabl
Dear hackers,
after a long period without any retreats, I'm delighted to announce that
there will be a next retreat.
This time in Mirleft (southern Morocco - next airport is Agadir).
Accomodation will be single-bed rooms. Due to Covid and travel
restrictions, only vaccinated persons can attend. D
Hi,
we're now on libera.chat in #mirage -- the website (mirageos.org) has
already been updated with the new location.
Best,
hannes
Dear all,
we're pleased to announce MirageOS 3.10:
IPv6 and dual (IPv4 and IPv6) stack support #1187
Since a long time, IPv6 code was around in our TCP/IP stack (thanks to
@nojb who developed it in 2014). Some months ago, @hannesm and @MagnusS
got excited to use it. After we managed to fix some
Hi folks,
We have many repositories that have lots of old and no-longer-relevant
issues in them (some have even been fixed!) as well as issues that
haven't gotten a reply yet from a maintainer. In preparation for the
next release, I think it would be nice to take a day and do some
housecleaning.
Dear Hans Ole,
On 24/10/2020 08:33, Hans Ole Rafaelsen wrote:
> When reading the MirageOS tutorials/documentation it seems like virtio
> target has some limitations. E.g. only one network interface supported.
> From the tutorials I get the impression that virtio will have limited
> support in the
Hi,
On 14/09/2020 02:29, Mindy Preston wrote:
> Certificate renewal time has come and gone once again, leading me to
> wonder whether there's a convenient way to use Let's Encrypt for my
> MirageOS webserver (based heavily on mirage-www) yet.>
> So... is there?
Apart from using authoritative DNS
Hi,
I'm still struggling why there is a separate `-t qubes` target from the
`-t xen`, and furthermore why qubes-mirage-firewall etc. use `-t xen`
(and not `-t qubes`). From my understanding, the main difference in the
mirage tool is the default IP configuration, which uses
Qubes_ipv4.Make(..) for
Hello,
after a few more releases (of the core signature packages, now including
a Mirage_yy_lwt module), the only breaking change is now:
- The hooks previously in
OS.Main.at_enter/at_enter_iter/at_exit/at_exit_iter are now part of
Mirage_runtime (only used in mirage-entropy)
Behaviour changes of
Dear all,
we are pleased to announce Mirage 3.7.1
(https://github.com/ocaml/opam-repository/pull/15200). This release
contains some user-visible changes:
- During a "mirage configure", existing opam files are deleted (this
means a mirage configure -t unix && make followed by mirage configure -t
s
Dear Ben,
On 28/10/2019 11:10, Ben Jakob wrote:
> I just wonder if mirage unikernels are accessible via ssh?
while there is a ssh server (https://github.com/haesbaert/awa-ssh)
developed in OCaml, to be used with MirageOS, the answer is no. The
unikernels I'm aware of don't even have a shell (nei
Dear Anil,
thanks for bringing this issue to this list.
On 11/08/2019 18:15, Anil Madhavapeddy wrote:
> Hannes notes that a virtual module for `oS` is unsatisfactory from a
> composition perspective and a possible vendor lockin.
>
> ...
>
> Is this really worth keeping this shim over? We c
Hello,
based on earlier discussion (in October 2018 in Marrakesh etc.), I
prepared a draft issue for the release roadmap of MirageOS 4.0 at
https://github.com/mirage/mirage/issues/994 -- please read and
comment/discuss if you agree or disagree; and want to be in charge of
any specific task.
Than
Dear hackers,
The next retreat will take place from September 23rd - 29th 2019 in
Marrakesh.
If you want to join, please sign up as soon as possible by sending a
mail to retreat2...@nqsb.io (see http://retreat.mirage.io for details).
looking forward to see you soon,
hannes
___
Hello,
On 18/06/2019 17:33, Mindy Preston wrote:
> In mirage_net.mli, the documentation for `val listen` says:
> "this function can be stopped by calling disconnect in the device layer".
>
> This is the only method mentioned to stop the call to `listen`. There
> isn't any API call for replacing t
Hi Mindy,
On 09/04/2019 01:02, Mindy Preston wrote:
> I recently got inspired to revisit test coverage information generation.
> It seems that the current state of this ecosystem uses `dune` for
> building and some instructions in `preprocess` stanzas to invoke
> `bisect_ppx`, which itself has log
Hello,
thanks for your mail. I'm still wondering, especially about:
On 27/03/2019 17:57, Anil Madhavapeddy wrote:
> - Monorepos: Dune supports assembling monorepos by placing packages into a
> subdirectory, and building it all in one go with a toplevel `dune build` [1].
> I’ve got a simple pro
On 26/03/2019 14:57, Joe wrote:
> On 3/26/19 7:55 AM, Adam Steen wrote:
>> As it says on the tin, when i uncomment let static_host_1 = { ... } in
>> dhcp_config.ml, the build fails with the below error.
>>
>> Not sure how to fix this, I will try and look at it soon, but someone
>> might know whats
Hello,
On 26/03/2019 14:38, Joe wrote:
> On 3/26/19 1:27 AM, Adam Steen wrote:
>>
>> Is there a central spot for mirage configure documentation?
>>
>
> I think you can run `mirage configure --help` from the directory that
> contains a unikernel `config.ml`, that at least gives you some
> context-
Hello,
when I read through some network code (I'm only talking about layers IP
and below), I encountered these signatures:
val into_cstruct : t -> Cstruct.t -> (unit, error) result
Which, from a broad perspective are fine and pretty safe to use.
Now, when I read a bit more through our networkin
1 - 100 of 296 matches
Mail list logo
