mirageos-devel

Messages by Date

2019/10/07 Re: [MirageOS-devel] [PATCH v2 1/6] Import v1.4 of Contributor Covenant CoC Lars Kurth
2019/10/07 Re: [MirageOS-devel] [PATCH v2 1/6] Import v1.4 of Contributor Covenant CoC George Dunlap
2019/10/01 [MirageOS-devel] ietf-taps-transport-security draft Anil Madhavapeddy
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Jan Beulich
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Lars Kurth
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Lars Kurth
2019/09/27 Re: [MirageOS-devel] Student Contributions to MirageOS Martin Lucina
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Lars Kurth
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Jan Beulich
2019/09/27 Re: [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Jan Beulich
2019/09/27 Re: [MirageOS-devel] Student Contributions to MirageOS Anil Madhavapeddy
2019/09/27 [MirageOS-devel] Student Contributions to MirageOS Cason J Schindler
2019/09/26 [MirageOS-devel] [PATCH v2 6/6] Added Resolving Disagreement Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 5/6] Add guide on Communication Best Practice Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 4/6] Add Code Review Guide Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 0/6] Code of Conduct + Extra Guides and Best Practices Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 3/6] Add Communication Guide Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 2/6] Xen Project Code of Conduct Lars Kurth
2019/09/26 [MirageOS-devel] [PATCH v2 1/6] Import v1.4 of Contributor Covenant CoC Lars Kurth
2019/09/23 Re: [MirageOS-devel] removing self from core/maintainers list Anil Madhavapeddy
2019/09/23 [MirageOS-devel] removing self from core/maintainers list Mindy Preston
2019/09/15 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Liang Wang
2019/09/14 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Seamus Brady
2019/09/14 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Liang Wang
2019/09/14 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Liang Wang
2019/09/14 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Richard Mortier
2019/09/13 Re: [MirageOS-devel] Using Ocaml math libraries in MirageOS? Romain Calascibetta
2019/09/13 [MirageOS-devel] Using Ocaml math libraries in MirageOS? Seamus Brady
2019/09/06 Re: [MirageOS-devel] [Xen-devel] [PATCH] Xen Project Code of Conduct Lars Kurth
2019/09/06 Re: [MirageOS-devel] [Xen-devel] [PATCH] Xen Project Code of Conduct Roger Pau Monné
2019/09/06 Re: [MirageOS-devel] [Xen-devel] [PATCH 0/2] Code of Conduct (based on Contributor Covenant v1.4) Roger Pau Monné
2019/09/04 Re: [MirageOS-devel] [PATCH 0/2] Code of Conduct (based on Contributor Covenant v1.4) Lars Kurth
2019/09/04 [MirageOS-devel] [PATCH] Xen Project Code of Conduct Lars Kurth
2019/09/04 [MirageOS-devel] [PATCH 0/2] Code of Conduct (based on Contributor Covenant v1.4) Lars Kurth
2019/09/04 [MirageOS-devel] [PATCH] Import v1.4 of Contributor Covenant CoC Lars Kurth
2019/09/04 [MirageOS-devel] [Poll] Please vote on date options for next year's Developer Summit (closes Wednesday, September 11) Lars Kurth
2019/09/02 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/09/02 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Ian Jackson
2019/09/01 [MirageOS-devel] DKIM signing broken fox
2019/08/30 [MirageOS-devel] Tls_mirange.flow and Tls_mirage.FLOW.flow fox
2019/08/27 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/27 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Stefano Stabellini
2019/08/27 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Ian Jackson
2019/08/26 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/17 Re: [MirageOS-devel] Are mirage-tcpip.direct and .unix interchangeable? orbifx
2019/08/16 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/16 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Rich Persaud
2019/08/16 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct George Dunlap
2019/08/15 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/15 Re: [MirageOS-devel] [win-pv-devel] [Xen-devel] [RFC] Code of Conduct Rich Persaud
2019/08/15 Re: [MirageOS-devel] [win-pv-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/15 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Rich Persaud
2019/08/15 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Lars Kurth
2019/08/15 Re: [MirageOS-devel] [Xen-devel] [RFC] Code of Conduct Rich Persaud
2019/08/13 Re: [MirageOS-devel] [RFC] Code of Conduct Lars Kurth
2019/08/12 [MirageOS-devel] [ANNOUNCE] Xen Project Developer Summit 2019: Slides, Recordings and Design Session notes are available Lars Kurth
2019/08/12 Re: [MirageOS-devel] [RFC] Code of Conduct George Dunlap
2019/08/12 Re: [MirageOS-devel] [RFC] Code of Conduct George Dunlap
2019/08/12 Re: [MirageOS-devel] [RFC] Code of Conduct Lars Kurth
2019/08/12 Re: [MirageOS-devel] Are mirage-tcpip.direct and .unix interchangeable? Thomas Leonard
2019/08/12 Re: [MirageOS-devel] decision on oS module future (mirage/mirage-os-shim#7) Hannes Mehnert
2019/08/12 Re: [MirageOS-devel] Are mirage-tcpip.direct and .unix interchangeable? Anil Madhavapeddy
2019/08/11 Re: [MirageOS-devel] Are mirage-tcpip.direct and .unix interchangeable? Thomas Leonard
2019/08/11 Re: [MirageOS-devel] decision on oS module future (mirage/mirage-os-shim#7) Thomas Leonard
2019/08/11 [MirageOS-devel] decision on oS module future (mirage/mirage-os-shim#7) Anil Madhavapeddy
2019/08/10 [MirageOS-devel] Are mirage-tcpip.direct and .unix interchangeable? orbifx
2019/08/09 [MirageOS-devel] [RFC] Code of Conduct Lars Kurth
2019/08/07 Re: [MirageOS-devel] autumn retreat (September 23rd - 29th), please signup Joe
2019/08/02 [MirageOS-devel] MirageOS 4.0 draft roadmap Hannes Mehnert
2019/07/30 [MirageOS-devel] functoria 3.0 Thomas Gazagnaire
2019/07/18 [MirageOS-devel] autumn retreat (September 23rd - 29th), please signup Hannes Mehnert
2019/06/21 [MirageOS-devel] Minimum Community Standards and Best Practice Lars Kurth
2019/06/19 Re: [MirageOS-devel] adding `replace_listener` function to Mirage_net.S Thomas Leonard
2019/06/19 Re: [MirageOS-devel] adding `replace_listener` function to Mirage_net.S Anil Madhavapeddy
2019/06/18 Re: [MirageOS-devel] adding `replace_listener` function to Mirage_net.S Hannes Mehnert
2019/06/18 [MirageOS-devel] adding `replace_listener` function to Mirage_net.S Mindy Preston
2019/06/14 Re: [MirageOS-devel] Mirage as NetVM Thomas Leonard
2019/06/13 [MirageOS-devel] Mirage as NetVM miragenetvm
2019/05/10 [MirageOS-devel] [ANNOUNCE] Xen Developer and Design Summit Program for 2019 is live Lars Kurth
2019/04/26 [MirageOS-devel] MirageOS Security Announcement 02: grant unshare vulnerability in mirage-xen versions < 3.3.0 Thomas Leonard
2019/04/24 [MirageOS-devel] Please submit Summit Design Sessions before May 6th Lars Kurth
2019/04/12 Re: [MirageOS-devel] Mirage threads on qubes-users Mindy Preston
2019/04/10 Re: [MirageOS-devel] Mirage threads on qubes-users Richard Mortier
2019/04/10 [MirageOS-devel] Mirage threads on qubes-users Thomas Leonard
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Anil Madhavapeddy
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Rudi Grinberg
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Anil Madhavapeddy
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Rudi Grinberg
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Anil Madhavapeddy
2019/04/09 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Ricardo Koller
2019/04/09 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Hiroshi Doyu
2019/04/09 Re: [MirageOS-devel] tests, coverage, and the modern duniverse Hannes Mehnert
2019/04/09 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Hiroshi Doyu
2019/04/09 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Hiroshi Doyu
2019/04/09 Re: [MirageOS-devel] Consistent CFLAGS (was: Ocaml, Mirage and retpoline) Adam Steen
2019/04/08 [MirageOS-devel] tests, coverage, and the modern duniverse Mindy Preston
2019/04/08 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Ricardo Koller
2019/04/08 [MirageOS-devel] Ocaml, Mirage and retpoline Adam Steen
2019/04/08 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Hiroshi Doyu
2019/04/01 [MirageOS-devel] Xen Project Developer Summit: CfP Reminder - Friday, April 12 Lars Kurth
2019/04/01 Re: [MirageOS-devel] the windy dunes of mirage: a tooling update Hannes Mehnert
2019/03/29 Re: [MirageOS-devel] Developing applications for MirageOS Anil Madhavapeddy
2019/03/29 [MirageOS-devel] Developing applications for MirageOS DOR Nelly
2019/03/27 [MirageOS-devel] the windy dunes of mirage: a tooling update Anil Madhavapeddy
2019/03/27 Re: [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Takayuki Imada
2019/03/26 [MirageOS-devel] How to support a larger disk with hvt + kv_ro=direct (pass-through)? Hiroshi Doyu
2019/03/26 Re: [MirageOS-devel] mirage-skeleton/applications/dhcp fails to build with static hosts uncommented. Hannes Mehnert
2019/03/26 Re: [MirageOS-devel] Setting the gateway when configuring a Unikernel Hannes Mehnert
2019/03/26 Re: [MirageOS-devel] mirage-skeleton/applications/dhcp fails to build with static hosts uncommented. Joe
2019/03/26 Re: [MirageOS-devel] Setting the gateway when configuring a Unikernel Joe
2019/03/25 [MirageOS-devel] mirage-skeleton/applications/dhcp fails to build with static hosts uncommented. Adam Steen
2019/03/25 Re: [MirageOS-devel] Setting the gateway when configuring a Unikernel Adam Steen
2019/03/25 Re: [MirageOS-devel] Setting the gateway when configuring a Unikernel Mindy Preston
2019/03/25 [MirageOS-devel] Setting the gateway when configuring a Unikernel Adam Steen
2019/03/24 Re: [MirageOS-devel] error handling in encode functions Jon Crowcroft
2019/03/24 [MirageOS-devel] error handling in encode functions Hannes Mehnert
2019/03/21 [MirageOS-devel] MirageOS Security Announcement 01: information disclosure in netchannel version 1.10.0 Mindy Preston
2019/02/27 Re: [MirageOS-devel] Preparing for Xen Project GSoC applications : Deadline Feb 6 Lars Kurth
2019/02/25 Re: [MirageOS-devel] Preparing for Xen Project GSoC applications : Deadline Feb 6 Lars Kurth
2019/02/19 [MirageOS-devel] Changes to Xen Project websites: xenproject.org & blog.xenproject.org Lars Kurth
2019/02/14 Re: [MirageOS-devel] Size of MirageOS, too big now? Hiroshi Doyu
2019/02/14 Re: [MirageOS-devel] Size of MirageOS, too big now? Lucas Pluvinage
2019/02/13 Re: [MirageOS-devel] Size of MirageOS, too big now? Hiroshi Doyu
2019/02/13 Re: [MirageOS-devel] Size of MirageOS, too big now? Anil Madhavapeddy
2019/02/09 [MirageOS-devel] [RFC] TCP/IP stack MTU, layering, and write allocation discipline changes Hannes Mehnert
2019/02/09 Re: [MirageOS-devel] What is correct type of Mirage_stack? Hiroshi Doyu
2019/02/09 Re: [MirageOS-devel] What is correct type of Mirage_stack? Hannes Mehnert
2019/02/08 Re: [MirageOS-devel] What is correct type of Mirage_stack? Hiroshi Doyu
2019/02/08 Re: [MirageOS-devel] What is correct type of Mirage_stack? Hannes Mehnert
2019/02/06 [MirageOS-devel] What is correct type of Mirage_stack? Hiroshi Doyu
2019/02/04 Re: [MirageOS-devel] Solo5 talk at FOSDEM this Sunday Martin Lucina
2019/01/30 [MirageOS-devel] Xen Project Developer and Design Summit 2019: Cfp and Registration Open Now Lars Kurth
2019/01/30 [MirageOS-devel] Solo5 talk at FOSDEM this Sunday Martin Lucina
2019/01/29 [MirageOS-devel] Building Mirage with an instrumented library A.A.T. Isstaif
2019/01/16 Re: [MirageOS-devel] Preparing for Xen Project GSoC applications : Deadline Feb 6 Lars Kurth
2019/01/16 Re: [MirageOS-devel] Preparing for Xen Project GSoC applications : Deadline Feb 6 Felipe Huici
2019/01/15 [MirageOS-devel] Preparing for Xen Project GSoC applications : Deadline Feb 6 Lars Kurth
2019/01/09 [MirageOS-devel] MirageOS spring retreat (March 6th - 13th), please signup Hannes Mehnert
2019/01/04 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Richard Mortier
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Richard Mortier
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Richard Mortier
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Hannes Mehnert
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Vittorio Cozzolino
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Armael
2019/01/03 Re: [MirageOS-devel] Mirage unikernels and network setup Hannes Mehnert
2019/01/02 Re: [MirageOS-devel] Mirage unikernels and network setup Richard Mortier
2019/01/02 [MirageOS-devel] Mirage unikernels and network setup Armael
2018/12/06 Re: [MirageOS-devel] how to profile a MirageOS unikernel? Christophe Troestler
2018/12/06 Re: [MirageOS-devel] how to profile a MirageOS unikernel? Hannes Mehnert
2018/12/06 Re: [MirageOS-devel] how to profile a MirageOS unikernel? Thomas Leonard
2018/12/06 [MirageOS-devel] how to profile a MirageOS unikernel? Hannes Mehnert
2018/11/27 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 28th November at 16.00 GMT Hannes Mehnert
2018/11/23 Re: [MirageOS-devel] [Minios-devel] FOSDEM Devrooms (CfP deadlines for relevant DevRooms from Dec 1-10) and Xen Project Stand Lars Kurth
2018/11/21 Re: [MirageOS-devel] FOSDEM Devrooms (CfP deadlines for relevant DevRooms from Dec 1-10) and Xen Project Stand Lars Kurth
2018/11/20 [MirageOS-devel] Example for Cohttp Server with IPv6 Sven Anderson
2018/11/20 [MirageOS-devel] Adding upper bounds in preparation for the next Jane Street release Jeremie Dimino
2018/11/18 [MirageOS-devel] [ANN] mirage 3.3.0 release Hannes Mehnert
2018/10/29 [MirageOS-devel] FOSDEM Devrooms (CfP deadlines for relevant DevRooms from Dec 1-10) and Xen Project Stand Lars Kurth
2018/10/29 Re: [MirageOS-devel] Project setup with dune Gabriel
2018/10/29 Re: [MirageOS-devel] Project setup with dune Martin Lucina
2018/10/29 Re: [MirageOS-devel] Project setup with dune Christophe Troestler
2018/10/29 Re: [MirageOS-devel] Project setup with dune Anil Madhavapeddy
2018/10/29 [MirageOS-devel] Project setup with dune Andrew J
2018/10/27 Re: [MirageOS-devel] Can one use malfunction with mirageos? Apostolis Xekoukoulotakis
2018/10/26 Re: [MirageOS-devel] Can one use malfunction with mirageos? Apostolis Xekoukoulotakis
2018/10/25 Re: [MirageOS-devel] Can one use malfunction with mirageos? Apostolis Xekoukoulotakis
2018/10/25 Re: [MirageOS-devel] Can one use malfunction with mirageos? Thomas Gazagnaire
2018/10/24 Re: [MirageOS-devel] Can one use malfunction with mirageos? Apostolis Xekoukoulotakis
2018/10/21 [MirageOS-devel] "Unikernels as Processes" paper, Mirage/Solo5 and seccomp Martin Lucina
2018/10/17 Re: [MirageOS-devel] uri interface change for sexp serialisation Anil Madhavapeddy
2018/10/16 Re: [MirageOS-devel] uri interface change for sexp serialisation Joe
2018/10/15 [MirageOS-devel] uri interface change for sexp serialisation Anil Madhavapeddy
2018/10/12 Re: [MirageOS-devel] [marrakesh] FOSDEM 2019 - Microkernels developer room - CfP Emery Hemingway
2018/10/12 Re: [MirageOS-devel] [marrakesh] FOSDEM 2019 - Microkernels developer room - CfP Roman Shaposhnik
2018/10/11 [MirageOS-devel] FOSDEM 2019 - Microkernels developer room - CfP Emery Hemingway
2018/10/04 [MirageOS-devel] Any work on Web Decentralization (Solid/Inrupt)? Ken.Dickey
2018/10/04 [MirageOS-devel] Research paper available 今田貴之 / IMADA，TAKAYUKI
2018/10/03 Re: [MirageOS-devel] Can one use malfunction with mirageos? Anil Madhavapeddy
2018/10/03 [MirageOS-devel] Can one use malfunction with mirageos? Apostolis Xekoukoulotakis
2018/09/25 Re: [MirageOS-devel] [ANN] mirage 3.2.0 released Thomas Gazagnaire
2018/09/25 Re: [MirageOS-devel] [ANN] mirage 3.2.0 released Joe
2018/09/24 Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) Adam Steen
2018/09/24 Re: [MirageOS-devel] [ANN] mirage 3.2.0 released Anil Madhavapeddy
2018/09/24 [MirageOS-devel] [ANN] mirage 3.2.0 released Hannes Mehnert
2018/09/18 [MirageOS-devel] Arm8 install options (ArchLinuxARM) Ken.Dickey
2018/09/18 Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese Takayuki Imada
2018/09/17 [MirageOS-devel] AML-S905X-CC (Le Potato) 'hello' works [recipe] Ken.Dickey
2018/09/17 Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese Anil Madhavapeddy
2018/09/17 Re: [MirageOS-devel] MirageOS 'Hello' up on RasPi3 under ArchLinuxARM/kvm Anil Madhavapeddy
2018/09/16 [MirageOS-devel] MirageOS 'Hello' up on RasPi3 under ArchLinuxARM/kvm Ken.Dickey
2018/09/14 Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese Takayuki Imada
2018/09/13 Re: [MirageOS-devel] [Proposal] Unikernels introduction in Japanese Mindy Preston
2018/09/13 [MirageOS-devel] [Proposal] Unikernels introduction in Japanese Takayuki Imada