mirageos-devel  

Messages by Thread

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

• Earlier messages
• Later messages