mirageos-devel

Messages by Date

2018/09/13 Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) Anil Madhavapeddy
2018/09/13 Re: [MirageOS-devel] MirageOS on OpenBSD (Now Works) Martin Lucina
2018/09/13 [MirageOS-devel] MirageOS on OpenBSD (Now Works) Adam Steen
2018/09/12 Re: [MirageOS-devel] Bad hash for zarith-freestanding.1.7 Anil Madhavapeddy
2018/09/11 [MirageOS-devel] Bad hash for zarith-freestanding.1.7 Adam Steen
2018/09/10 [MirageOS-devel] [ANN] An implementation of the Noise Protocol Framework Étienne Millon
2018/09/06 Re: [MirageOS-devel] Solo5 renaming and OPAM package names Martin Lucina
2018/09/04 Re: [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding Adam Steen
2018/09/04 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 5th September at 16.00 BST Hannes Mehnert
2018/09/04 Re: [MirageOS-devel] removing global use of Result Hannes Mehnert
2018/09/04 Re: [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding Martin Lucina
2018/09/04 Re: [MirageOS-devel] removing global use of Result Arnaud Sahuguet
2018/09/04 [MirageOS-devel] mirage-skeleton/applications/static_website_tls and gmp-freestanding Adam Steen
2018/09/03 [MirageOS-devel] removing global use of Result Anil Madhavapeddy
2018/09/01 Re: [MirageOS-devel] HEADSUP: changes in module type IP (mirage-protocols{-lwt}) to be merged Monday Sep 3rd Hannes Mehnert
2018/09/01 [MirageOS-devel] HEADSUP: changes in module type IP (mirage-protocols{-lwt}) to be merged Monday Sep 3rd Hannes Mehnert
2018/08/28 Re: [MirageOS-devel] Solo5 renaming and OPAM package names Martin Lucina
2018/08/27 Re: [MirageOS-devel] Solo5 renaming and OPAM package names Hannes Mehnert
2018/08/27 Re: [MirageOS-devel] Solo5 renaming and OPAM package names Martin Lucina
2018/08/24 [MirageOS-devel] Solo5 renaming and OPAM package names Martin Lucina
2018/08/24 Re: [MirageOS-devel] ocaml equivalent of php's openssl_verify function lemonnierk
2018/08/23 Re: [MirageOS-devel] ocaml equivalent of php's openssl_verify function Joe
2018/08/23 [MirageOS-devel] ocaml equivalent of php's openssl_verify function lemonnierk
2018/08/16 [MirageOS-devel] next retreat October 3rd - 10th Hannes Mehnert
2018/08/14 Re: [MirageOS-devel] self-hosting the dns (Re: invalid certificates on mirage-related domains) Hannes Mehnert
2018/08/14 [MirageOS-devel] self-hosting the dns (Re: invalid certificates on mirage-related domains) Anil Madhavapeddy
2018/08/11 [MirageOS-devel] invalid certificates on mirage-related domains Markus Rudy
2018/07/31 [MirageOS-devel] Network issues on Xen Urist Estïkor
2018/07/11 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 11th July (today!) at 16.00 BST Hannes Mehnert
2018/07/03 Re: [MirageOS-devel] [RFC v2] ViryaOS: proposal for a new Xen Project sub-project Julien Grall
2018/06/25 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 27th June at 16.00 UTC Hannes Mehnert
2018/06/21 [MirageOS-devel] [ANN] mirage version 3.1.0 Mindy Preston
2018/05/25 [MirageOS-devel] Schedule for our Annual Developer and Design Summit - Design Session Rating and Proposals Lars Kurth
2018/05/23 [MirageOS-devel] [RFC v2] ViryaOS: proposal for a new Xen Project sub-project Stefano Stabellini
2018/05/22 [MirageOS-devel] [ANN] Irmin now support the latest dev version of ocaml-git Thomas Gazagnaire
2018/05/21 Re: [MirageOS-devel] [Xen-devel] ViryaOS: proposal for a new Xen Project sub-project Stefano Stabellini
2018/05/21 Re: [MirageOS-devel] [Xen-devel] ViryaOS: proposal for a new Xen Project sub-project Roger Pau Monné
2018/05/20 Re: [MirageOS-devel] Some issues building mirage with virtio Thomas Gazagnaire
2018/05/19 Re: [MirageOS-devel] Some issues building mirage with virtio Hannes Mehnert
2018/05/18 Re: [MirageOS-devel] ViryaOS: proposal for a new Xen Project sub-project Stefano Stabellini
2018/05/18 Re: [MirageOS-devel] ViryaOS: proposal for a new Xen Project sub-project Lars Kurth
2018/05/17 [MirageOS-devel] ViryaOS: proposal for a new Xen Project sub-project Stefano Stabellini
2018/05/17 Re: [MirageOS-devel] Pioneer Project page down? Martin Lucina
2018/05/16 [MirageOS-devel] Pioneer Project page down? Thomas Gazagnaire
2018/05/04 Re: [MirageOS-devel] Questions from potential new MirageOS Ocaml user Richard Mortier
2018/05/04 Re: [MirageOS-devel] Questions from potential new MirageOS Ocaml user Hannes Mehnert
2018/05/04 Re: [MirageOS-devel] [Xen-devel] Graduation Review: Windows PV Driver Ian Jackson
2018/05/02 Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 2nd May at 16.00 UTC Hannes Mehnert
2018/05/02 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 18th April at 16.00 UTC Hannes Mehnert
2018/05/01 Re: [MirageOS-devel] Questions from potential new MirageOS Ocaml user Mindy Preston
2018/05/01 Re: [MirageOS-devel] Questions from potential new MirageOS Ocaml user Richard Mortier
2018/04/30 [MirageOS-devel] Questions from potential new MirageOS Ocaml user Luther Flippen
2018/04/25 Re: [MirageOS-devel] [Xen-devel] Graduation Review: Windows PV Driver George Dunlap
2018/04/23 Re: [MirageOS-devel] Graduation Review: Windows PV Driver Lars Kurth
2018/04/23 Re: [MirageOS-devel] mirage.io down!? Anil Madhavapeddy
2018/04/20 Re: [MirageOS-devel] mirage.io down!? Hannes Mehnert
2018/04/20 [MirageOS-devel] mirage.io down!? Hannes Mehnert
2018/04/19 [MirageOS-devel] ANN: Solo5 development mailing list Martin Lucina
2018/04/18 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 18th April at 16.00 UTC Hannes Mehnert
2018/04/09 [MirageOS-devel] ocaml 4.07 has a unix-free bigarray Anil Madhavapeddy
2018/04/04 Re: [MirageOS-devel] opam pin add mirage-solo5 <SNIP> No VCS repository found Adam Steen
2018/04/04 Re: [MirageOS-devel] opam pin add mirage-solo5 <SNIP> No VCS repository found Hannes Mehnert
2018/04/04 Re: [MirageOS-devel] opam pin add mirage-solo5 <SNIP> No VCS repository found Martin Lucina
2018/04/03 [MirageOS-devel] Berlin MirageOS meeting April 10th at 18:30 Hannes Mehnert
2018/04/02 [MirageOS-devel] opam pin add mirage-solo5 <SNIP> No VCS repository found Adam Steen
2018/03/29 Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev Adam Steen
2018/03/29 Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev Hannes Mehnert
2018/03/29 Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev Adam Steen
2018/03/29 Re: [MirageOS-devel] opam pin mirage and opam repo add solo5-dev Hannes Mehnert
2018/03/28 [MirageOS-devel] opam pin mirage and opam repo add solo5-dev Adam Steen
2018/03/21 Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 21th March at 16.00 UTC Hannes Mehnert
2018/03/21 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 21th March at 16.00 UTC Hannes Mehnert
2018/03/19 Re: [MirageOS-devel] Deriving encoders/decoders Joe
2018/03/18 Re: [MirageOS-devel] Deriving encoders/decoders Hannes Mehnert
2018/03/18 Re: [MirageOS-devel] Deriving encoders/decoders Romain Calascibetta
2018/03/18 [MirageOS-devel] Deriving encoders/decoders Richard Mortier
2018/03/15 [MirageOS-devel] new repository: mirage-handbook Hannes Mehnert
2018/03/15 [MirageOS-devel] 2018 Xen Project Developer and Design Summit: CfP open from now to April 13, Event is held June 20-22, 2018 in Nanjing, China Community Manager
2018/03/14 Re: [MirageOS-devel] Proposal: move biweekly (fortnightly) MirageOS IRC catchups to opposite week (next meeting: 21 March 2018) Anil Madhavapeddy
2018/03/14 [MirageOS-devel] Proposal: move biweekly (fortnightly) MirageOS IRC catchups to opposite week (next meeting: 21 March 2018) Mindy Preston
2018/03/14 Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 28 February at 16.00 UTC Thomas Gazagnaire
2018/03/13 Re: [MirageOS-devel] Trivial C code crashes at Int_val() function Martin Lucina
2018/03/13 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) Martin Lucina
2018/03/11 [MirageOS-devel] Trivial C code crashes at Int_val() function Justin Cinkelj
2018/03/09 [MirageOS-devel] New repository for MirageOS propaganda Martin Lucina
2018/03/07 Re: [MirageOS-devel] Save the date: Xen Project Developer Summit, Nanjing, China, June 20-22 (Wednesday - Friday) Lars Kurth
2018/03/02 [MirageOS-devel] Notes from discussion with Hannes on MirageOS - Xen Project interaction, MirageOS workflow and Graduation from Incubation Lars Kurth
2018/02/28 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 28 February at 16.00 UTC Mindy Preston
2018/02/14 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 14 February at 16.00 UTC Mindy Preston
2018/02/12 [MirageOS-devel] Upcoming breaking changes in Mirage/Solo5 Martin Lucina
2018/02/05 [MirageOS-devel] Save the date: Xen Project Developer Summit, Nanjing, China, June 20-22 (Wednesday - Friday) Lars Kurth
2018/02/05 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) JIM Yuan
2018/02/02 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) Vittorio Cozzolino
2018/02/02 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) Anil Madhavapeddy
2018/02/02 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) Richard Mortier
2018/02/02 Re: [MirageOS-devel] Unikernel crashes (compiled to Xen) Mindy Preston
2018/02/02 Re: [MirageOS-devel] Using binary libraries with MirageOS Hadil Sabbagh
2018/02/02 [MirageOS-devel] Unikernel crashes (compiled to Xen) JIM Yuan
2018/02/02 Re: [MirageOS-devel] Using binary libraries with MirageOS Anil Madhavapeddy
2018/02/01 [MirageOS-devel] Using binary libraries with MirageOS Hadil Sabbagh
2018/02/01 [MirageOS-devel] Which packages to use when developing for MirageOS Hadil Sabbagh
2018/01/31 Re: [MirageOS-devel] [Minios-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Julien Grall
2018/01/31 Re: [MirageOS-devel] mirage.io https certificate has expired/is about to expire for the rest of the world! Anil Madhavapeddy
2018/01/30 [MirageOS-devel] mirage.io https certificate has expired/is about to expire for the rest of the world! Adam Steen
2018/01/30 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 31 January at 16.00 UTC Mindy Preston
2018/01/30 [MirageOS-devel] Changes to Outreachy program : need URGENT input from mentors (was Re: Preparing for GSoC and Outreachy ) Lars Kurth
2018/01/24 Re: [MirageOS-devel] [Minios-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Anil Madhavapeddy
2018/01/24 Re: [MirageOS-devel] [Minios-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Simon Kuenzer
2018/01/24 Re: [MirageOS-devel] [Minios-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Simon Kuenzer
2018/01/23 Re: [MirageOS-devel] Fail to install mirage with OCaml compiler 4.04.0+spacetime on Ubuntu 16.04 Joe
2018/01/23 Re: [MirageOS-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Lars Kurth
2018/01/22 [MirageOS-devel] Fail to install mirage with OCaml compiler 4.04.0+spacetime on Ubuntu 16.04 JIM Yuan
2018/01/16 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 17th January at 16.00 UTC Hannes Mehnert
2018/01/10 [MirageOS-devel] beta testing netbooting MirageOS on Amazon, Google & Digital Ocean Andrew Stuart
2018/01/08 [MirageOS-devel] Preparing for GSoC and Outreachy : getting Outreach Program Projects into good shape Lars Kurth
2018/01/08 Re: [MirageOS-devel] Instructions for installing MirageOS version 3? Mindy Preston
2018/01/08 [MirageOS-devel] Instructions for installing MirageOS version 3? Andrew Stuart
2018/01/04 [MirageOS-devel] next hack retreat - march 7th - 18th in marrakesh Hannes Mehnert
2018/01/03 [MirageOS-devel] [ANN] git + irmin release for cohttp 1.0 and 4.06 Thomas Gazagnaire
2018/01/02 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 3 January at 16.00 UTC Mindy Preston
2017/12/27 [MirageOS-devel] Netmap-enabled Solo5 available 今田貴之 / IMADA，TAKAYUKI
2017/12/19 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 20 December at 16.00 UTC Mindy Preston
2017/12/18 [MirageOS-devel] mirage-www: history rewrite on master, deployments working again! Mindy Preston
2017/12/14 Re: [MirageOS-devel] network performance question Hannes Mehnert
2017/12/14 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/12/13 Re: [MirageOS-devel] network performance question Hannes Mehnert
2017/12/13 [MirageOS-devel] meeting at 34c3 Hannes Mehnert
2017/12/09 Re: [MirageOS-devel] docker cloud tests on mirage/mirage repository Mindy Preston
2017/12/09 Re: [MirageOS-devel] Unix.Unix_error(Unix.EBADF, "check_descriptor", "") Mindy Preston
2017/12/06 Re: [MirageOS-devel] Unix.Unix_error(Unix.EBADF, "check_descriptor", "") (was: Irmin_http with Cohttp_mirage) Sven Anderson
2017/12/06 [MirageOS-devel] IRC Meeting deferred for today due to hackathon travel Anil Madhavapeddy
2017/12/05 Re: [MirageOS-devel] Unix.Unix_error(Unix.EBADF, "check_descriptor", "") (was: Irmin_http with Cohttp_mirage) Sven Anderson
2017/12/05 Re: [MirageOS-devel] docker cloud tests on mirage/mirage repository Thomas Leonard
2017/12/05 [MirageOS-devel] docker cloud tests on mirage/mirage repository Mindy Preston
2017/11/30 [MirageOS-devel] Unix.Unix_error(Unix.EBADF, "check_descriptor", "") (was: Irmin_http with Cohttp_mirage) Sven Anderson
2017/11/30 Re: [MirageOS-devel] Irmin_http with Cohttp_mirage Sven Anderson
2017/11/30 Re: [MirageOS-devel] Current persistent storage situation Anil Madhavapeddy
2017/11/29 Re: [MirageOS-devel] Current persistent storage situation Thomas Leonard
2017/11/29 Re: [MirageOS-devel] Current persistent storage situation Sven Anderson
2017/11/28 Re: [MirageOS-devel] Current persistent storage situation Anil Madhavapeddy
2017/11/27 Re: [MirageOS-devel] Current persistent storage situation Sven Anderson
2017/11/27 Re: [MirageOS-devel] Current persistent storage situation Gabriel de Perthuis
2017/11/24 [MirageOS-devel] Irmin_http with Cohttp_mirage Sven Anderson
2017/11/23 Re: [MirageOS-devel] supported OCaml versions Anil Madhavapeddy
2017/11/23 Re: [MirageOS-devel] supported OCaml versions Hannes Mehnert
2017/11/23 Re: [MirageOS-devel] supported OCaml versions Martin Lucina
2017/11/22 [MirageOS-devel] archiving legacy repositories in the mirage github organization on Monday 27 November 2017 Mindy Preston
2017/11/22 Re: [MirageOS-devel] Current persistent storage situation Tom Ridge
2017/11/22 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 22 November at 16:00 UTC Mindy Preston
2017/11/21 Re: [MirageOS-devel] Current persistent storage situation Tom Ridge
2017/11/18 Re: [MirageOS-devel] supported OCaml versions Rudi Grinberg
2017/11/18 Re: [MirageOS-devel] supported OCaml versions Anil Madhavapeddy
2017/11/17 Re: [MirageOS-devel] supported OCaml versions Rudi Grinberg
2017/11/17 Re: [MirageOS-devel] supported OCaml versions Mindy Preston
2017/11/17 [MirageOS-devel] supported OCaml versions Hannes Mehnert
2017/11/17 [MirageOS-devel] Unikernel Under Xen on ODROID-XU3 (ARMv7) Canada, David Harold
2017/11/14 Re: [MirageOS-devel] Current persistent storage situation Gabriel de Perthuis
2017/11/14 [MirageOS-devel] Current persistent storage situation Sven Anderson
2017/11/10 [MirageOS-devel] Friday, 17th November 2017 is Bug Cleaning Day! Mindy Preston
2017/11/08 Re: [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 8 November at 16.00 UTC Thomas Leonard
2017/11/08 [MirageOS-devel] Reminder: MirageOS biweekly (fortnightly) catchup - Wednesday, 8 November at 16.00 UTC Mindy Preston
2017/10/26 [MirageOS-devel] Can anyone share their experience with deploying unikernels with Kubernetes? Hadil Sabbagh
2017/10/25 Re: [MirageOS-devel] network performance question Justin Cinkelj
2017/10/25 Re: [MirageOS-devel] network performance question Hannes Mehnert
2017/10/25 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/10/25 Re: [MirageOS-devel] network performance question Hannes Mehnert
2017/10/25 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/10/25 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Anil Madhavapeddy
2017/10/25 Re: [MirageOS-devel] network performance question Justin Cinkelj
2017/10/24 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Adam Steen
2017/10/24 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 25 October at 15:00 UTC Mindy Preston
2017/10/24 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/10/24 Re: [MirageOS-devel] network performance question Justin Cinkelj
2017/10/24 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/10/24 Re: [MirageOS-devel] network performance question Justin Cinkelj
2017/10/23 Re: [MirageOS-devel] network performance question Justin Cinkelj
2017/10/23 Re: [MirageOS-devel] network performance question Takayuki Imada
2017/10/23 [MirageOS-devel] network performance question Justin Cinkelj
2017/10/12 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Anil Madhavapeddy
2017/10/11 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Adam Steen
2017/10/11 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Anil Madhavapeddy
2017/10/11 Re: [MirageOS-devel] Building Tutorial Noop on OpenBSD Hannes Mehnert
2017/10/10 [MirageOS-devel] Building Tutorial Noop on OpenBSD Adam Steen
2017/10/10 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 11 October at 15:00 UTC Mindy Preston
2017/10/09 [MirageOS-devel] Results of Formal vote on Unicore Proposal : Passed & Next Steps Lars Kurth
2017/10/04 Re: [MirageOS-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) Jan Beulich
2017/10/03 Re: [MirageOS-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) George Dunlap
2017/09/29 Re: [MirageOS-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) Stefano Stabellini
2017/09/29 Re: [MirageOS-devel] [Xen-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) Konrad Rzeszutek Wilk
2017/09/29 Re: [MirageOS-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) Ian Jackson
2017/09/29 Re: [MirageOS-devel] [Xen-devel] Formal vote on Unicore Proposal (deadline Frid, Oct 6th) Wei Liu
2017/09/26 [MirageOS-devel] MirageOS biweekly (fortnightly) catchup - Wednesday, 27 September at 15:00 UTC Mindy
2017/09/20 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Lars Kurth
2017/09/20 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Felipe Huici
2017/09/19 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Stefano Stabellini
2017/09/19 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Lars Kurth
2017/09/19 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Stefano Stabellini
2017/09/15 Re: [MirageOS-devel] [Minios-devel] [Xen-API] [RFC] Unicore Subproject Proposal Simon Kuenzer
2017/09/15 Re: [MirageOS-devel] [RFC] Unicore Subproject Proposal Simon Kuenzer
2017/09/15 Re: [MirageOS-devel] [Minios-devel] [Xen-API] [RFC] Unicore Subproject Proposal Simon Kuenzer