mirageos-devel

Messages by Date

2016/08/24 [MirageOS-devel] (Pioneer)-Projects Hannes Mehnert
2016/08/24 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 24th August 4pm UK time (UTC+1) Gemma Gordon
2016/08/22 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Thomas Leonard
2016/08/22 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Mindy
2016/08/20 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Róbert Tóth
2016/08/19 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
2016/08/19 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
2016/08/19 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Thomas Leonard
2016/08/19 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
2016/08/19 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Hannes Mehnert
2016/08/16 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Róbert Tóth
2016/08/16 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Hannes Mehnert
2016/08/16 Re: [MirageOS-devel] Pioneer project propositions Drup
2016/08/16 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Hannes Mehnert
2016/08/15 Re: [MirageOS-devel] [Xen-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Tim Deegan
2016/08/15 Re: [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Anil Madhavapeddy
2016/08/15 Re: [MirageOS-devel] Pioneer project propositions Anil Madhavapeddy
2016/08/15 Re: [MirageOS-devel] [Xen-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
2016/08/15 Re: [MirageOS-devel] [Xen-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Tim Deegan
2016/08/15 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Stefano Stabellini
2016/08/13 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
2016/08/12 [MirageOS-devel] Pioneer project propositions Drup
2016/08/12 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Jan Beulich
2016/08/12 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Jan Beulich
2016/08/12 [MirageOS-devel] Master thesis about Mirage (Pioneer projects) Róbert Tóth
2016/08/12 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
2016/08/11 [MirageOS-devel] [PATCH 1/3] Code motion changes to make real patches easier to read Lars Kurth
2016/08/11 [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
2016/08/11 [MirageOS-devel] [PATCH 2/3] Added comment sections to highight problem areas Lars Kurth
2016/08/11 [MirageOS-devel] [PATCH 0/3] Significant changes to Xen Project Governance (governance.html) Lars Kurth
2016/08/10 [MirageOS-devel] Looking for alpha testers for a new super secret unikernel related application...... Andrew Stuart
2016/08/09 [MirageOS-devel] Maintenance on wiki.xenproject.org : Wed Aug 10, 8:00 - 9:00 UTC Lars Kurth
2016/08/09 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 10th August 4pm UK time (UTC+1) Anil Madhavapeddy
2016/08/09 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 10th August 4pm UK time (UTC+1) Gemma Gordon
2016/08/04 Re: [MirageOS-devel] Talk on Solo5 on Wed Aug 3 @ 11am EDT Ricardo Koller
2016/08/01 [MirageOS-devel] Talk on Solo5 on Wed Aug 3 @ 11am EDT Daniel J Williams
2016/08/01 Re: [MirageOS-devel] Mirage Atom feed down? Jan Suhr
2016/07/28 Re: [MirageOS-devel] Script to run Solo5 on AWS EC2 KVM / HVM? Andrew Stuart
2016/07/28 [MirageOS-devel] Script to run Solo5 on AWS EC2 KVM / HVM? Andrew Stuart
2016/07/27 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Mindy
2016/07/27 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 27th July 4pm UK time (UTC+1) Gemma Gordon
2016/07/27 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Matthew Gray
2016/07/27 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 27 July, 16.00 UTC+1 Mindy
2016/07/25 Re: [MirageOS-devel] Modify Hello World Example to Accept Input Thomas Leonard
2016/07/25 [MirageOS-devel] Modify Hello World Example to Accept Input John P. McDermott (USN Civilian)
2016/07/20 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Thomas Leonard
2016/07/20 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
2016/07/20 [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Kia
2016/07/20 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Mindy
2016/07/20 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Amir Chaudhry
2016/07/20 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Drup
2016/07/20 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Daniel Bünzli
2016/07/20 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Mindy
2016/07/20 Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? Martin Lucina
2016/07/20 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/20 Re: [MirageOS-devel] Lifecycle Daniel Bünzli
2016/07/20 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Richard Mortier
2016/07/20 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Richard Mortier
2016/07/20 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/19 Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? David Scott
2016/07/19 Re: [MirageOS-devel] Lifecycle Daniel Bünzli
2016/07/19 Re: [MirageOS-devel] Lifecycle Mindy
2016/07/19 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/19 Re: [MirageOS-devel] Lifecycle Nik Sultana
2016/07/19 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Amir Chaudhry
2016/07/19 Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? Thomas Leonard
2016/07/19 Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? Hannes Mehnert
2016/07/19 [MirageOS-devel] Mirage/Solo5: What to do about C stubs? Martin Lucina
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Mindy
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Thomas Gazagnaire
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Amir Chaudhry
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Mindy
2016/07/19 Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Amir Chaudhry
2016/07/19 Re: [MirageOS-devel] Some Mirage student projects Richard Mortier
2016/07/19 Re: [MirageOS-devel] Some Mirage student projects Raphael Proust
2016/07/18 Re: [MirageOS-devel] MirageOS Hackathon tomorrow (Weds 13th July) 9am-11pm, Darwin College! Anil Madhavapeddy
2016/07/18 Re: [MirageOS-devel] Some Mirage student projects Thomas Gazagnaire
2016/07/17 Re: [MirageOS-devel] Some Mirage student projects Richard Mortier
2016/07/15 [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) Mindy
2016/07/14 Re: [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/14 Re: [MirageOS-devel] Lifecycle Daniel Bünzli
2016/07/14 Re: [MirageOS-devel] Lifecycle Daniel Bünzli
2016/07/14 Re: [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/14 Re: [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/14 Re: [MirageOS-devel] Lifecycle Nik Sultana
2016/07/14 Re: [MirageOS-devel] Lifecycle Thomas Leonard
2016/07/14 Re: [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/14 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/14 Re: [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/14 Re: [MirageOS-devel] Lifecycle Nik Sultana
2016/07/14 Re: [MirageOS-devel] Lifecycle Richard Mortier
2016/07/14 Re: [MirageOS-devel] Lifecycle Daniel Bünzli
2016/07/14 [MirageOS-devel] Lifecycle Nick Betteridge
2016/07/13 Re: [MirageOS-devel] Hello World Missing Linker Script Anil Madhavapeddy
2016/07/13 Re: [MirageOS-devel] Hello World Missing Linker Script John P. McDermott (USN Civilian)
2016/07/13 Re: [MirageOS-devel] Hello World Missing Linker Script John P. McDermott (USN Civilian)
2016/07/13 Re: [MirageOS-devel] Hello World Missing Linker Script Anil Madhavapeddy
2016/07/13 Re: [MirageOS-devel] Hello World Missing Linker Script Thomas Leonard
2016/07/13 [MirageOS-devel] Hello World Missing Linker Script John P. McDermott (USN Civilian)
2016/07/13 Re: [MirageOS-devel] Mirage Atom feed down? Anil Madhavapeddy
2016/07/13 Re: [MirageOS-devel] NTP for MirageOS status Anil Madhavapeddy
2016/07/12 [MirageOS-devel] NTP for MirageOS status Kia
2016/07/12 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Mindy
2016/07/12 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/07/12 [MirageOS-devel] MirageOS Hackathon tomorrow (Weds 13th July) 9am-11pm, Darwin College! Gemma Gordon
2016/07/07 Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy Anil Madhavapeddy
2016/07/07 Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy Thomas Leonard
2016/07/07 Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy Anil Madhavapeddy
2016/07/06 Re: [MirageOS-devel] MirageOS Hackathon - Projects on Canopy Mindy
2016/07/06 [MirageOS-devel] MirageOS Hackathon - Projects on Canopy Gemma Gordon
2016/07/02 Re: [MirageOS-devel] Mirage/Solo5 update, ready for early testing Hannes Mehnert
2016/07/01 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Mindy
2016/06/30 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Matthew Gray
2016/06/30 [MirageOS-devel] Some Mirage student projects Richard Mortier
2016/06/30 [MirageOS-devel] Mirage/Solo5 update, ready for early testing Martin Lucina
2016/06/29 Re: [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 29th June 4pm UK time (UTC+1) Anil Madhavapeddy
2016/06/29 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 29th June 4pm UK time (UTC+1) Gemma Gordon
2016/06/22 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Nick Betteridge
2016/06/22 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/21 [MirageOS-devel] MirageOS Hackathon Cambridge Gemma Gordon
2016/06/19 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Nik Sultana
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Thomas Leonard
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Thomas Leonard
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Thomas Leonard
2016/06/17 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Mindy
2016/06/16 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/06/14 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 15th June 4pm UK time (UTC+1) Gemma Gordon
2016/06/13 Re: [MirageOS-devel] [Irmin] Listing keys at a path Thomas Leonard
2016/06/13 [MirageOS-devel] [Irmin] Listing keys at a path Sean Grove
2016/06/13 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Gemma Gordon
2016/06/13 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Reynir Björnsson
2016/06/11 [MirageOS-devel] counting bytes Hannes Mehnert
2016/06/08 [MirageOS-devel] Xen Project Developer Summit : program Published Lars Kurth
2016/06/05 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs David Scott
2016/06/05 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs David Scott
2016/06/05 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs David Scott
2016/06/03 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Gemma Gordon
2016/06/03 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Daniel Bünzli
2016/06/03 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Anil Madhavapeddy
2016/06/03 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Matthew Gray
2016/06/03 Re: [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Nick Betteridge
2016/06/03 [MirageOS-devel] MirageOS Hackathon - July, Cambridge - dates? Gemma Gordon
2016/06/02 [MirageOS-devel] hack retreat end of august Hannes Mehnert
2016/06/02 Re: [MirageOS-devel] xen-arm-builder, pine64 and rpi-boot-ocaml Nick Betteridge
2016/06/01 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 1st June 4pm UK time (UTC+1) Gemma Gordon
2016/05/30 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Thomas Leonard
2016/05/27 Re: [MirageOS-devel] Pioneer projects Theo Leanse
2016/05/26 Re: [MirageOS-devel] Structure of mirage-platform for Solo5 Martin Lucina
2016/05/26 [MirageOS-devel] Building vchan unikernel Tolga Ue
2016/05/25 Re: [MirageOS-devel] Updates to the Lwt tutorial Anil Madhavapeddy
2016/05/24 [MirageOS-devel] Updates to the Lwt tutorial Thomas Leonard
2016/05/24 Re: [MirageOS-devel] random number interface Mindy
2016/05/24 [MirageOS-devel] random number interface Kia
2016/05/23 [MirageOS-devel] [ANN] Topkg 0.7.0 Daniel Bünzli
2016/05/20 Re: [MirageOS-devel] Xen, MirageOS, and Unikernel Migration Jon Ludlam
2016/05/20 Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs Hannes Mehnert
2016/05/20 Re: [MirageOS-devel] Structure of mirage-platform for Solo5 Hannes Mehnert
2016/05/19 Re: [MirageOS-devel] MirageOS-devel Digest, Vol 30, Issue 10 manu delab
2016/05/19 [MirageOS-devel] Xen, MirageOS, and Unikernel Migration Vittorio Cozzolino
2016/05/19 Re: [MirageOS-devel] Structure of mirage-platform for Solo5 Thomas Leonard
2016/05/19 [MirageOS-devel] Structure of mirage-platform for Solo5 Martin Lucina
2016/05/18 Re: [MirageOS-devel] Pioneer projects Thomas Leonard
2016/05/18 [MirageOS-devel] mirageos 3.0 : let's break some APIs Mindy
2016/05/18 [MirageOS-devel] Setting Vagrant box network Arnaud Bailly
2016/05/18 [MirageOS-devel] mirageOS: reproducible builds Holger Levsen
2016/05/18 [MirageOS-devel] Pioneer projects Theo Leanse
2016/05/18 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Cyril LEVIS
2016/05/18 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 18 May 4pm UK time (UTC+1) Gemma Gordon
2016/05/15 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Anil Madhavapeddy
2016/05/15 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Hannes Mehnert
2016/05/15 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Thomas Leonard
2016/05/14 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Anil Madhavapeddy
2016/05/14 Re: [MirageOS-devel] Mirage OS and Qubes OS integration Thomas Leonard
2016/05/12 [MirageOS-devel] reproducible builds Hannes Mehnert
2016/05/05 Re: [MirageOS-devel] Handling Lwt exceptions Joel Hughes
2016/05/05 Re: [MirageOS-devel] [GANDI] Expiration of the certificate SSL Standard (mirage.io) in 29 days Anil Madhavapeddy
2016/05/05 Re: [MirageOS-devel] Handling Lwt exceptions Thomas Leonard
2016/05/05 Re: [MirageOS-devel] Handling Lwt exceptions David Sheets
2016/05/05 [MirageOS-devel] Handling Lwt exceptions Joel Hughes
2016/05/03 [MirageOS-devel] MirageOS Security Advisory (MirageOS-SA-00.mirage-net-xen) -- Memory disclosure in mirage-net-xen < 1.4.2 Hannes Mehnert
2016/05/03 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 4 May 4pm UK time (UTC+1) Gemma Gordon
2016/05/02 Re: [MirageOS-devel] [ANN] mirage 2.9.0 Thomas Gazagnaire
2016/04/29 Re: [MirageOS-devel] [ANN] mirage 2.9.0 Thomas Leonard
2016/04/29 Re: [MirageOS-devel] [ANN] mirage 2.9.0 Mindy
2016/04/29 [MirageOS-devel] [ANN] mirage 2.9.0 Thomas Gazagnaire
2016/04/28 [MirageOS-devel] mirage-dashboard update Joel Hughes
2016/04/27 [MirageOS-devel] Don’t Miss your Chance to Speak at Xen Project Developer Summit (CfP closes May 6th) Lars Kurth
2016/04/23 [MirageOS-devel] Blog post Arnaud Bailly
2016/04/20 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 20 Apr at 4pm UK time Anil Madhavapeddy
2016/04/20 Re: [MirageOS-devel] Setting networking in vagrant virtualbox Arnaud Bailly
2016/04/20 Re: [MirageOS-devel] Setting networking in vagrant virtualbox Thomas Leonard
2016/04/19 Re: [MirageOS-devel] Setting networking in vagrant virtualbox Arnaud Bailly
2016/04/19 Re: [MirageOS-devel] Setting networking in vagrant virtualbox Jochen Bartl
2016/04/19 [MirageOS-devel] Setting networking in vagrant virtualbox Arnaud Bailly
2016/04/18 Re: [MirageOS-devel] Announcing Solo5/Mirage unikernels on ukvm Daniel J Williams