mirageos-devel

Messages by Date

2016/04/17 Re: [MirageOS-devel] Fwd: [GANDI] Expiration of the certificate SSL Standard (mirage.io) in 29 days Hannes Mehnert
2016/04/17 [MirageOS-devel] Fwd: [GANDI] Expiration of the certificate SSL Standard (mirage.io) in 29 days Anil Madhavapeddy
2016/04/17 Re: [MirageOS-devel] xen-arm-builder, pine64 and rpi-boot-ocaml Anil Madhavapeddy
2016/04/17 Re: [MirageOS-devel] Announcing Solo5/Mirage unikernels on ukvm Anil Madhavapeddy
2016/04/17 Re: [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/04/13 [MirageOS-devel] Announcing Solo5/Mirage unikernels on ukvm Daniel J Williams
2016/04/12 Re: [MirageOS-devel] activity of GitHub projects Joel Hughes
2016/04/12 Re: [MirageOS-devel] activity of GitHub projects Thomas Leonard
2016/04/11 Re: [MirageOS-devel] activity of GitHub projects Joel Hughes
2016/04/11 Re: [MirageOS-devel] activity of GitHub projects Joel Hughes
2016/04/11 [MirageOS-devel] activity of GitHub projects Hannes Mehnert
2016/04/10 Re: [MirageOS-devel] nocrypto with ECC? David Kaloper Meršinjak
2016/04/10 Re: [MirageOS-devel] nocrypto with ECC? Stefan Xenon
2016/04/10 Re: [MirageOS-devel] nocrypto with ECC? David Kaloper Meršinjak
2016/04/07 [MirageOS-devel] nocrypto with ECC? Stefan Xenon
2016/04/07 [MirageOS-devel] xen-arm-builder, pine64 and rpi-boot-ocaml Nick Betteridge
2016/04/06 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 6 Apr at 4pm GMT Daniel Bünzli
2016/04/06 Re: [MirageOS-devel] [ANN] mirage 2.8.0 released Amir Chaudhry
2016/04/06 Re: [MirageOS-devel] [ANN] mirage 2.8.0 released Mindy
2016/04/06 [MirageOS-devel] [ANN] mirage 2.8.0 released Mindy
2016/04/06 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 6 Apr at 4pm BST (not GMT!) Amir Chaudhry
2016/04/06 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 6 Apr at 4pm GMT Amir Chaudhry
2016/04/06 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 6 Apr at 4pm GMT Mindy
2016/04/05 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 6 Apr at 4pm GMT Amir Chaudhry
2016/04/05 [MirageOS-devel] About the fortnightly calls/meets Amir Chaudhry
2016/04/05 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Richard Mortier
2016/04/04 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Hannes Mehnert
2016/04/03 [MirageOS-devel] Irmin-store synchronization M. O.
2016/04/02 Re: [MirageOS-devel] libaio-ocaml Goswin von Brederlow
2016/04/02 [MirageOS-devel] libaio-ocaml Jan Doms
2016/04/01 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Romain Calascibetta
2016/03/30 Re: [MirageOS-devel] Xen Hackathon Richard Mortier
2016/03/30 Re: [MirageOS-devel] Xen Hackathon Lars Kurth
2016/03/30 [MirageOS-devel] Xen Hackathon Richard Mortier
2016/03/30 Re: [MirageOS-devel] [opam-devel] Fwd: ounit dependency failing for mirage-xen package Sylvain Le Gall
2016/03/29 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Jeremy Yallop
2016/03/29 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Romain Calascibetta
2016/03/28 Re: [MirageOS-devel] [opam-devel] Fwd: ounit dependency failing for mirage-xen package Gabriel Scherer
2016/03/28 [MirageOS-devel] Fwd: ounit dependency failing for mirage-xen package Anil Madhavapeddy
2016/03/28 Re: [MirageOS-devel] ounit dependency failing for mirage-xen package Aaron Cornelius
2016/03/26 Re: [MirageOS-devel] ounit dependency failing for mirage-xen package Thomas Leonard
2016/03/24 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Nick Betteridge
2016/03/23 Re: [MirageOS-devel] Call for nominations for new Hypervisor subproject maintainers and committers Lars Kurth
2016/03/23 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Enguerrand Decorne
2016/03/23 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Anil Madhavapeddy
2016/03/23 [MirageOS-devel] ounit dependency failing for mirage-xen package Aaron Cornelius
2016/03/23 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Hannes Mehnert
2016/03/22 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Thomas Gazagnaire
2016/03/22 Re: [MirageOS-devel] MirageOS fortnightly call^H^HIRC - Wednesday *23rd March* at 4pm GMT Anil Madhavapeddy
2016/03/22 Re: [MirageOS-devel] Xen on Cubieboard 2 Thomas Leonard
2016/03/22 [MirageOS-devel] Xen on Cubieboard 2 Geßele , Benedikt
2016/03/21 [MirageOS-devel] Outreachy deadline approaching (March 22nd) : Guidance on missing contributions and late applicants Lars Kurth
2016/03/20 Re: [MirageOS-devel] [ANN] Mirage 2.7.1 is released Thomas Gazagnaire
2016/03/20 Re: [MirageOS-devel] [ANN] Mirage 2.7.1 is released Thomas Gazagnaire
2016/03/19 Re: [MirageOS-devel] the future of 4.01 support Thomas Gazagnaire
2016/03/19 Re: [MirageOS-devel] MirageOS-devel Digest, Vol 28, Issue 17 Gemma Gordon
2016/03/19 Re: [MirageOS-devel] the future of 4.01 support Thomas Leonard
2016/03/19 Re: [MirageOS-devel] outreachy internship projects - Spiros Eliopoulos
2016/03/19 Re: [MirageOS-devel] outreachy internship projects - merlettaia
2016/03/19 [MirageOS-devel] [ANN] Mirage 2.7.1 is released Thomas Gazagnaire
2016/03/19 Re: [MirageOS-devel] the future of 4.01 support Anil Madhavapeddy
2016/03/19 Re: [MirageOS-devel] outreachy internship projects - Jeremy Yallop
2016/03/18 [MirageOS-devel] the future of 4.01 support Mindy
2016/03/15 [MirageOS-devel] MirageOS fortnightly call - Wednesday *23rd March* at 4pm GMT Amir Chaudhry
2016/03/15 Re: [MirageOS-devel] (Fwd) Workaround for debugging 64-bit unikernels under KVM/QEMU Daniel J Williams
2016/03/15 [MirageOS-devel] (Fwd) Workaround for debugging 64-bit unikernels under KVM/QEMU Martin Lucina
2016/03/15 [MirageOS-devel] outreachy internship projects - merlettaia
2016/03/15 Re: [MirageOS-devel] Error reporting and logging in generated main.ml Thomas Leonard
2016/03/15 Re: [MirageOS-devel] Error reporting and logging in generated main.ml David Scott
2016/03/15 [MirageOS-devel] Error reporting and logging in generated main.ml Thomas Leonard
2016/03/14 Re: [MirageOS-devel] Compiling C components for mirage-xen Thomas Leonard
2016/03/13 Re: [MirageOS-devel] mirage-logs and functoria Thomas Leonard
2016/03/12 [MirageOS-devel] Core/Core_kernel compatibility status Sven Anderson
2016/03/11 [MirageOS-devel] Citation for Functoria / the functor DSL Edward Z. Yang
2016/03/10 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Daniel J Williams
2016/03/10 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Daniel J Williams
2016/03/10 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Thomas Gazagnaire
2016/03/10 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/10 [MirageOS-devel] Call For Participation for the Xen Project Developer Summit in Toronto (Deadline May 6th) Lars Kurth
2016/03/09 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Jochen Bartl
2016/03/09 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/09 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/08 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Daniel J Williams
2016/03/08 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/08 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Hannes Mehnert
2016/03/08 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/07 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Daniel J Williams
2016/03/07 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/07 Re: [MirageOS-devel] AppveyorCI scripts (Windows CI) David Scott
2016/03/05 Re: [MirageOS-devel] Mirage-Block-Unix Error David Scott
2016/03/05 Re: [MirageOS-devel] Mirage-Block-Unix Error Rupert Horlick
2016/03/05 Re: [MirageOS-devel] ocaml-vchan - getting started Tyler Smith
2016/03/05 Re: [MirageOS-devel] Mirage-Block-Unix Error Thomas Leonard
2016/03/05 [MirageOS-devel] Mirage-Block-Unix Error Rupert Horlick
2016/03/04 Re: [MirageOS-devel] ocaml-vchan - getting started Len Maxwell
2016/03/04 Re: [MirageOS-devel] ocaml-vchan - getting started Tyler Smith
2016/03/04 Re: [MirageOS-devel] ocaml-vchan - getting started Len Maxwell
2016/03/04 [MirageOS-devel] ocaml-vchan - getting started Tyler Smith
2016/03/04 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Daniel J Williams
2016/03/04 Re: [MirageOS-devel] Mirage on Raspberry Pi 3 Anil Madhavapeddy
2016/03/04 [MirageOS-devel] Mirage on Raspberry Pi 3 Joel Hughes
2016/03/04 Re: [MirageOS-devel] A question about MirageOS Richard Mortier
2016/03/03 Re: [MirageOS-devel] AppveyorCI scripts (Windows CI) Thomas Leonard
2016/03/02 [MirageOS-devel] A question about MirageOS 梅超
2016/03/02 Re: [MirageOS-devel] AppveyorCI scripts (Windows CI) David Scott
2016/03/02 [MirageOS-devel] AppveyorCI scripts (Windows CI) Thomas Gazagnaire
2016/03/02 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 2nd March at 4pm GMT Amir Chaudhry
2016/03/01 [MirageOS-devel] MirageOS fortnightly call - Wednesday 2nd March at 4pm GMT Amir Chaudhry
2016/03/01 Re: [MirageOS-devel] Not accepted to GSoC (Fwd: Xen Project GSoC 2016 application status) Jakub Jermář
2016/03/01 [MirageOS-devel] Not accepted to GSoC (Fwd: Xen Project GSoC 2016 application status) Lars Kurth
2016/02/29 [MirageOS-devel] ANN: mirage 2.7.0 Jeremy Yallop
2016/02/26 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Gina Maini
2016/02/26 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Richard Mortier
2016/02/26 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Hannes Mehnert
2016/02/26 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Mindy
2016/02/26 Re: [MirageOS-devel] Outreachy opportunities with MirageOS -- Amir Chaudhry
2016/02/26 [MirageOS-devel] Outreachy opportunities with MirageOS -- Gina Maini
2016/02/25 Re: [MirageOS-devel] Xen Project Infrastructure Maintenance: Feb 25th and 1st of March Lars Kurth
2016/02/24 Re: [MirageOS-devel] Dependencies for project built on Mirage Thomas Gazagnaire
2016/02/24 Re: [MirageOS-devel] Dependencies for project built on Mirage Thomas Gazagnaire
2016/02/24 Re: [MirageOS-devel] Dependencies for project built on Mirage Sean Grove
2016/02/24 [MirageOS-devel] Call for nominations for new Hypervisor subproject maintainers and committers Lars Kurth
2016/02/22 Re: [MirageOS-devel] Problems booting Mirage on EC2 Sean Grove
2016/02/22 Re: [MirageOS-devel] Problems booting Mirage on EC2 Mindy
2016/02/22 Re: [MirageOS-devel] going ocaml 4.02-only Anil Madhavapeddy
2016/02/22 Re: [MirageOS-devel] going ocaml 4.02-only Thomas Gazagnaire
2016/02/22 [MirageOS-devel] going ocaml 4.02-only Anil Madhavapeddy
2016/02/22 Re: [MirageOS-devel] Xen Project Infrastructure Maintenance: Feb 22nd from 8:00 AM UTC (to fix CVE-2015-7547) Lars Kurth
2016/02/21 [MirageOS-devel] Problems booting Mirage on EC2 Sean Grove
2016/02/21 Re: [MirageOS-devel] Dependencies for project built on Mirage Sean Grove
2016/02/21 Re: [MirageOS-devel] Dependencies for project built on Mirage Richard Mortier
2016/02/21 Re: [MirageOS-devel] Dependencies for project built on Mirage Thomas Gazagnaire
2016/02/21 Re: [MirageOS-devel] randomness security issue? Thomas Leonard
2016/02/21 Re: [MirageOS-devel] Dependencies for project built on Mirage Thomas Leonard
2016/02/20 Re: [MirageOS-devel] randomness security issue? Patrick Schleizer
2016/02/20 [MirageOS-devel] Dependencies for project built on Mirage Sean Grove
2016/02/20 Re: [MirageOS-devel] Building a sample File storage app Thomas Leonard
2016/02/20 Re: [MirageOS-devel] randomness security issue? Thomas Leonard
2016/02/20 Re: [MirageOS-devel] randomness security issue? Amir Chaudhry
2016/02/20 [MirageOS-devel] randomness security issue? Patrick Schleizer
2016/02/19 Re: [MirageOS-devel] Beginner logging project and GSoC Thomas Leonard
2016/02/19 [MirageOS-devel] Beginner logging project and GSoC Amir Chaudhry
2016/02/19 [MirageOS-devel] Xen Project Infrastructure Maintenance: Feb 22nd from 8:00 AM UTC (to fix CVE-2015-7547) Lars Kurth
2016/02/19 Re: [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/02/18 [MirageOS-devel] Continuous DHCP discovery Vittorio Cozzolino
2016/02/18 Re: [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM Hannes Mehnert
2016/02/18 Re: [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM Thomas Gazagnaire
2016/02/18 Re: [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM Rupert Horlick
2016/02/18 Re: [MirageOS-devel] List moderation Anil Madhavapeddy
2016/02/18 Re: [MirageOS-devel] List moderation Amir Chaudhry
2016/02/18 Re: [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM Thomas Gazagnaire
2016/02/18 Re: [MirageOS-devel] List moderation David Scott
2016/02/17 Re: [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM David Scott
2016/02/17 [MirageOS-devel] BTrees, File System, Information Retrieval, and ORAM Rupert Horlick
2016/02/17 [MirageOS-devel] Xen Project Infrastructure Maintenance: Feb 25th and 1st of March Lars Kurth
2016/02/17 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 17th Feb at 4pm GMT Amir Chaudhry
2016/02/17 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Marek Marczykowski-Górecki
2016/02/17 [MirageOS-devel] List moderation Lars Kurth
2016/02/17 Re: [MirageOS-devel] request for beginner project suggestion Thomas Leonard
2016/02/16 Re: [MirageOS-devel] request for beginner project suggestion Madhuri Yechuri
2016/02/16 Re: [MirageOS-devel] Fwd: request for beginner project suggestion Vasilis Goumas
2016/02/16 [MirageOS-devel] MirageOS fortnightly call - Wednesday 17th Feb at 4pm GMT Amir Chaudhry
2016/02/16 Re: [MirageOS-devel] Fwd: request for beginner project suggestion Mindy
2016/02/16 Re: [MirageOS-devel] request for beginner project suggestion Thomas Leonard
2016/02/16 [MirageOS-devel] Fwd: request for beginner project suggestion Thomas Leonard
2016/02/16 Re: [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/02/15 [MirageOS-devel] Mirage-OS and Netmap Heikki Mahkonen
2016/02/15 [MirageOS-devel] Backup Admin for GSoC needed (urgent, by February 19) Lars Kurth
2016/02/14 Re: [MirageOS-devel] REST-API framework Hannes Mehnert
2016/02/14 Re: [MirageOS-devel] REST-API framework Spiros Eliopoulos
2016/02/14 Re: [MirageOS-devel] REST-API framework Sven Anderson
2016/02/13 Re: [MirageOS-devel] Building a sample File storage app Thomas Leonard
2016/02/13 Re: [MirageOS-devel] REST-API framework rudi . grinberg
2016/02/13 Re: [MirageOS-devel] REST-API framework Anil Madhavapeddy
2016/02/13 Re: [MirageOS-devel] REST-API framework Ashish Agarwal
2016/02/13 Re: [MirageOS-devel] REST-API framework Richard Mortier
2016/02/12 Re: [MirageOS-devel] REST-API framework rudi . grinberg
2016/02/12 Re: [MirageOS-devel] REST-API framework Sean Grove
2016/02/12 Re: [MirageOS-devel] REST-API framework Sven Anderson
2016/02/12 Re: [MirageOS-devel] REST-API framework rudi . grinberg
2016/02/12 Re: [MirageOS-devel] REST-API framework Sven Anderson
2016/02/12 Re: [MirageOS-devel] REST-API framework Spiros Eliopoulos
2016/02/12 [MirageOS-devel] REST-API framework Sven Anderson
2016/02/11 Re: [MirageOS-devel] Building a sample File storage app Thomas Leonard
2016/02/11 Re: [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/02/11 Re: [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/02/10 Re: [MirageOS-devel] Urgent: Cleaning up project list in preparation for GSoc and the next Outreachy round Lars Kurth
2016/02/09 [MirageOS-devel] Urgent: Cleaning up project list in preparation for GSoc and the next Outreachy round Lars Kurth
2016/02/08 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Anil Madhavapeddy
2016/02/07 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Thomas Leonard
2016/02/07 Re: [MirageOS-devel] Building a sample File storage app Thomas Leonard
2016/02/06 [MirageOS-devel] Building a sample File storage app Vanshdeep Singh
2016/02/03 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 3rd Feb at 4pm GMT Amir Chaudhry
2016/02/02 [MirageOS-devel] MirageOS fortnightly call - Wednesday 3rd Feb at 4pm GMT Amir Chaudhry
2016/02/02 Re: [MirageOS-devel] NTP implementation for mirageos Daniel Bünzli
2016/02/02 Re: [MirageOS-devel] NTP implementation for mirageos Richard Mortier
2016/02/02 [MirageOS-devel] NTP implementation for mirageos Kia
2016/02/01 Re: [MirageOS-devel] request for beginner project suggestion Madhuri Yechuri
2016/01/29 Re: [MirageOS-devel] request for beginner project suggestion Thomas Leonard
2016/01/29 Re: [MirageOS-devel] request for solving the problem Thomas Leonard