mirageos-devel  

Messages by Date

• 2016/01/29 Re: [MirageOS-devel] Xen Project Infrastructure Maintenance: xenbits (Jan 28), qemu-bitslave & mail & downloads.xenproject.org (Feb 1), lists & etherpad (Feb 4th) Lars Kurth
• 2016/01/28 Re: [MirageOS-devel] Xen Project Infrastructure Maintenance: xenbits (Jan 28), qemu-bitslave & mail & downloads.xenproject.org (Feb 1), lists & etherpad (Feb 4th) Lars Kurth
• 2016/01/28 [MirageOS-devel] request for solving the problem 박경민
• 2016/01/28 Re: [MirageOS-devel] Xen Project Infrastructure Maintenance: xenbits (Jan 28), qemu-bitslave & mail & downloads.xenproject.org (Feb 1), lists & etherpad (Feb 4th) Lars Kurth
• 2016/01/27 Re: [MirageOS-devel] request for beginner project suggestion Madhuri Yechuri
• 2016/01/27 [MirageOS-devel] Xen Project Infrastructure Maintenance: xenbits (Jan 28), qemu-bitslave & mail & downloads.xenproject.org (Feb 1), lists & etherpad (Feb 4th) Lars Kurth
• 2016/01/27 Re: [MirageOS-devel] request for beginner project suggestion Thomas Leonard
• 2016/01/27 [MirageOS-devel] request for beginner project suggestion Madhuri Yechuri
• 2016/01/27 Re: [MirageOS-devel] MirageOS fortnightly call Amir Chaudhry
• 2016/01/27 [MirageOS-devel] MirageOS fortnightly call Thomas Leonard
• 2016/01/26 Re: [MirageOS-devel] atomically writing persistent data in mirage David Scott
• 2016/01/26 Re: [MirageOS-devel] atomically writing persistent data in mirage Thomas Leonard
• 2016/01/25 [MirageOS-devel] atomically writing persistent data in mirage Tim Cuthbertson
• 2016/01/25 Re: [MirageOS-devel] [RFC/PULL]: Rumprun configuration specification and rototill Martin Lucina
• 2016/01/19 Re: [MirageOS-devel] Hardware choices for ARM64 Anil Madhavapeddy
• 2016/01/19 Re: [MirageOS-devel] Unmapping grants is unsafe Anil Madhavapeddy
• 2016/01/18 [MirageOS-devel] Macros for OCaml project: internship possibilities Olivier Nicole
• 2016/01/18 Re: [MirageOS-devel] Irmin on BLOCK David Scott
• 2016/01/18 Re: [MirageOS-devel] Irmin on BLOCK Thomas Gazagnaire
• 2016/01/18 [MirageOS-devel] reminder: MirageOS hackathon - March 11th - 16th -- please register Hannes Mehnert
• 2016/01/17 Re: [MirageOS-devel] beginner contributing to mirage Thomas Leonard
• 2016/01/17 Re: [MirageOS-devel] Unmapping grants is unsafe Thomas Leonard
• 2016/01/16 Re: [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/16 Re: [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/15 Re: [MirageOS-devel] Unmapping grants is unsafe Anil Madhavapeddy
• 2016/01/15 Re: [MirageOS-devel] utilizing multicore systems Thomas Leonard
• 2016/01/15 Re: [MirageOS-devel] beginner contributing to mirage Thomas Leonard
• 2016/01/15 [MirageOS-devel] utilizing multicore systems Stefan Xenon
• 2016/01/14 Re: [MirageOS-devel] Compiling C components for mirage-xen Hannes Mehnert
• 2016/01/14 Re: [MirageOS-devel] Compiling C components for mirage-xen Arnaud Sahuguet
• 2016/01/14 Re: [MirageOS-devel] Compiling C components for mirage-xen Hannes Mehnert
• 2016/01/14 Re: [MirageOS-devel] What crypto libraries are available on/for the platform? David Sheets
• 2016/01/14 Re: [MirageOS-devel] What crypto libraries are available on/for the platform? Hannes Mehnert
• 2016/01/14 [MirageOS-devel] What crypto libraries are available on/for the platform? Arnaud Sahuguet
• 2016/01/14 [MirageOS-devel] beginner contributing to mirage Vasilis Goumas
• 2016/01/13 [MirageOS-devel] Xen Project Hackathon, Cambridge UK, Apr 18-19 - registration, hotels and other information Lars Kurth
• 2016/01/13 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 13th Jan at 4pm GMT Amir Chaudhry
• 2016/01/12 Re: [MirageOS-devel] Compiling C components for mirage-xen Daniel J Williams
• 2016/01/12 Re: [MirageOS-devel] mirage-logs and functoria Drup
• 2016/01/12 Re: [MirageOS-devel] mirage-logs and functoria Thomas Leonard
• 2016/01/12 Re: [MirageOS-devel] mirage-logs and functoria Drup
• 2016/01/12 Re: [MirageOS-devel] Changes in Irmin 0.10.0 Thomas Leonard
• 2016/01/12 [MirageOS-devel] mirage-logs and functoria Thomas Leonard
• 2016/01/12 Re: [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/11 [MirageOS-devel] MirageOS fortnightly call - Wednesday 13th Jan at 4pm GMT Amir Chaudhry
• 2016/01/11 Re: [MirageOS-devel] Changes in Irmin 0.10.0 M. O.
• 2016/01/11 Re: [MirageOS-devel] Changes in Irmin 0.10.0 Thomas Leonard
• 2016/01/11 Re: [MirageOS-devel] Compiling C components for mirage-xen Thomas Leonard
• 2016/01/11 Re: [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/10 Re: [MirageOS-devel] Compiling C components for mirage-xen Thomas Leonard
• 2016/01/10 Re: [MirageOS-devel] Changes in Irmin 0.10.0 M. O.
• 2016/01/10 Re: [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/08 Re: [MirageOS-devel] [ANN] Logs 0.5.0 Thomas Leonard
• 2016/01/08 Re: [MirageOS-devel] Compiling C components for mirage-xen Thomas Leonard
• 2016/01/08 [MirageOS-devel] Compiling C components for mirage-xen Tim Cuthbertson
• 2016/01/07 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Daniel Bünzli
• 2016/01/07 [MirageOS-devel] [ANN] Logs 0.5.0 Daniel Bünzli
• 2016/01/05 [MirageOS-devel] mirage-qubes 0.1 Thomas Leonard
• 2016/01/05 [MirageOS-devel] Fwd: [ocaml] Warning for missing .cmx files (#319) Anil Madhavapeddy
• 2016/01/04 Re: [MirageOS-devel] Announcing Solo5 (for Mirage on KVM/QEMU) Daniel J Williams
• 2016/01/04 Re: [MirageOS-devel] Announcing Solo5 (for Mirage on KVM/QEMU) Amir Chaudhry
• 2016/01/04 [MirageOS-devel] Announcing Solo5 (for Mirage on KVM/QEMU) Daniel J Williams
• 2016/01/04 [MirageOS-devel] Unmapping grants is unsafe Thomas Leonard
• 2016/01/04 Re: [MirageOS-devel] [RFC/PULL]: Rumprun configuration specification and rototill Anil Madhavapeddy
• 2016/01/03 Re: [MirageOS-devel] A Unikernel Firewall for QubesOS Thomas Leonard
• 2016/01/02 Re: [MirageOS-devel] A Unikernel Firewall for QubesOS David Scott
• 2016/01/02 Re: [MirageOS-devel] A Unikernel Firewall for QubesOS Mindy
• 2016/01/02 Re: [MirageOS-devel] A Unikernel Firewall for QubesOS Anil Madhavapeddy
• 2016/01/02 [MirageOS-devel] A Unikernel Firewall for QubesOS Thomas Leonard
• 2015/12/24 [MirageOS-devel] [ANN] Ptime 0.8.0 Daniel Bünzli
• 2015/12/21 Re: [MirageOS-devel] Netback, Xen grants and a Linux panic Thomas Leonard
• 2015/12/21 Re: [MirageOS-devel] Netback, Xen grants and a Linux panic Anil Madhavapeddy
• 2015/12/21 Re: [MirageOS-devel] Netback, Xen grants and a Linux panic Thomas Leonard
• 2015/12/21 [MirageOS-devel] Netback, Xen grants and a Linux panic Thomas Leonard
• 2015/12/18 [MirageOS-devel] MirageOS hackathon Hannes Mehnert
• 2015/12/18 Re: [MirageOS-devel] Compiling simple-nat Heikki Mahkonen
• 2015/12/18 Re: [MirageOS-devel] Out of memory Thomas Leonard
• 2015/12/18 Re: [MirageOS-devel] Compiling simple-nat Thomas Leonard
• 2015/12/18 Re: [MirageOS-devel] Out of memory Thomas Leonard
• 2015/12/18 Re: [MirageOS-devel] Out of memory David Scott
• 2015/12/17 Re: [MirageOS-devel] Compiling simple-nat Heikki Mahkonen
• 2015/12/17 Re: [MirageOS-devel] Compiling simple-nat Mindy
• 2015/12/17 Re: [MirageOS-devel] Compiling simple-nat Jeremy Yallop
• 2015/12/17 [MirageOS-devel] Compiling simple-nat Heikki Mahkonen
• 2015/12/17 [MirageOS-devel] Out of memory Thomas Leonard
• 2015/12/17 Re: [MirageOS-devel] CFP for "Unikernels and More: Cloud Innovators Forum" closing soon! Anil Madhavapeddy
• 2015/12/16 [MirageOS-devel] CFP for "Unikernels and More: Cloud Innovators Forum" closing soon! Russell Pavlicek
• 2015/12/16 [MirageOS-devel] MirageOS tutorial Thomas Gazagnaire
• 2015/12/16 Re: [MirageOS-devel] ANN: ocaml-session first release Spiros Eliopoulos
• 2015/12/16 Re: [MirageOS-devel] ANN: ocaml-session first release Anil Madhavapeddy
• 2015/12/16 Re: [MirageOS-devel] ANN: ocaml-session first release Spiros Eliopoulos
• 2015/12/16 [MirageOS-devel] ANN: ocaml-session first release Anil Madhavapeddy
• 2015/12/16 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 16th Dec at 4pm GMT Richard Mortier
• 2015/12/16 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 16th Dec at 4pm GMT Amir Chaudhry
• 2015/12/16 Re: [MirageOS-devel] Reproducible builds Anil Madhavapeddy
• 2015/12/15 Re: [MirageOS-devel] Security Protocol Analyzers Nik Sultana
• 2015/12/15 [MirageOS-devel] MirageOS fortnightly call - Wednesday 16th Dec at 4pm GMT Amir Chaudhry
• 2015/12/15 Re: [MirageOS-devel] ANN: cstruct 0.7.1 Thomas Leonard
• 2015/12/15 [MirageOS-devel] ANN: cstruct 0.7.1 Anil Madhavapeddy
• 2015/12/15 Re: [MirageOS-devel] Security Protocol Analyzers Anil Madhavapeddy
• 2015/12/15 Re: [MirageOS-devel] Security Protocol Analyzers Daniel Bünzli
• 2015/12/15 Re: [MirageOS-devel] Security Protocol Analyzers Michele Orrù
• 2015/12/14 Re: [MirageOS-devel] Security Protocol Analyzers Daniel Bünzli
• 2015/12/14 Re: [MirageOS-devel] Security Protocol Analyzers Thomas Gazagnaire
• 2015/12/14 Re: [MirageOS-devel] Reproducible builds Hannes Mehnert
• 2015/12/14 [MirageOS-devel] Security Protocol Analyzers Michele Orrù
• 2015/12/10 Re: [MirageOS-devel] Benchmarking tools on Mirage Magnus Skjegstad
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Daniel Bünzli
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Hannes Mehnert
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Richard Mortier
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Anil Madhavapeddy
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Daniel Bünzli
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Thomas Gazagnaire
• 2015/12/10 Re: [MirageOS-devel] Benchmarking tools on Mirage Richard Mortier
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Richard Mortier
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Thomas Gazagnaire
• 2015/12/10 Re: [MirageOS-devel] Reproducible builds Richard Mortier
• 2015/12/10 Re: [MirageOS-devel] Benchmarking tools on Mirage Filipe Manco
• 2015/12/10 Re: [MirageOS-devel] Benchmarking tools on Mirage Anil Madhavapeddy
• 2015/12/10 Re: [MirageOS-devel] Benchmarking tools on Mirage Filipe Manco
• 2015/12/08 Re: [MirageOS-devel] Reproducible builds Daniel Bünzli
• 2015/12/08 Re: [MirageOS-devel] Reproducible builds Thomas Gazagnaire
• 2015/12/08 [MirageOS-devel] Reproducible builds Richard Mortier
• 2015/12/07 Re: [MirageOS-devel] Benchmarking tools on Mirage Anil Madhavapeddy
• 2015/12/07 Re: [MirageOS-devel] new nocrypto/x509/tls releases Hannes Mehnert
• 2015/12/07 Re: [MirageOS-devel] new nocrypto/x509/tls releases Anil Madhavapeddy
• 2015/12/05 Re: [MirageOS-devel] Calling C libraries from mirage OS Thomas Leonard
• 2015/12/05 Re: [MirageOS-devel] next steps for working on outreachy project Hannes Mehnert
• 2015/12/05 Re: [MirageOS-devel] next steps for working on outreachy project Thomas Leonard
• 2015/12/05 Re: [MirageOS-devel] Calling C libraries from mirage OS Nick Betteridge
• 2015/12/04 [MirageOS-devel] new nocrypto/x509/tls releases Hannes Mehnert
• 2015/12/04 Re: [MirageOS-devel] Calling C libraries from mirage OS Thomas Leonard
• 2015/12/04 Re: [MirageOS-devel] Introducing myself and a kernel for Mirage on KVM/QEMU Mindy
• 2015/12/04 [MirageOS-devel] Introducing myself and a kernel for Mirage on KVM/QEMU Daniel J Williams
• 2015/12/04 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Daniel Bünzli
• 2015/12/04 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Malcolm Matalka
• 2015/12/04 [MirageOS-devel] Calling C libraries from mirage OS Robert Pickering
• 2015/12/04 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Daniel Bünzli
• 2015/12/04 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Daniel Bünzli
• 2015/12/04 Re: [MirageOS-devel] [Caml-list] [ANN] Logs 0.4.2 Malcolm Matalka
• 2015/12/03 [MirageOS-devel] [ANN] Logs 0.4.2 Daniel Bünzli
• 2015/12/03 Re: [MirageOS-devel] Thoughts on logging Daniel Bünzli
• 2015/12/03 Re: [MirageOS-devel] Thoughts on logging Thomas Gazagnaire
• 2015/12/03 Re: [MirageOS-devel] Thoughts on logging Daniel Bünzli
• 2015/12/03 Re: [MirageOS-devel] Thoughts on logging Thomas Leonard
• 2015/12/02 Re: [MirageOS-devel] Thoughts on logging Daniel Bünzli
• 2015/12/02 [MirageOS-devel] next steps for working on outreachy project Kia
• 2015/12/02 Re: [MirageOS-devel] Thoughts on logging Thomas Leonard
• 2015/12/02 Re: [MirageOS-devel] Thoughts on logging Hannes Mehnert
• 2015/12/02 [MirageOS-devel] Thoughts on logging Thomas Leonard
• 2015/12/02 Re: [MirageOS-devel] MirageOS fortnightly call - Wednesday 2nd Dec at 4pm GMT Amir Chaudhry
• 2015/12/01 [MirageOS-devel] MirageOS fortnightly call - Wednesday 2nd Dec at 4pm GMT Amir Chaudhry
• 2015/11/29 Re: [MirageOS-devel] Mirage on Linux Mint 17 A.G. Rakowski
• 2015/11/27 Re: [MirageOS-devel] Mirage on Linux Mint 17 Thomas Leonard
• 2015/11/27 Re: [MirageOS-devel] Mirage on Linux Mint 17 Richard Mortier
• 2015/11/27 [MirageOS-devel] Mirage on Linux Mint 17 A.G. Rakowski
• 2015/11/27 Re: [MirageOS-devel] "Local synchronisation between Git repositories" pioneer project Thomas Gazagnaire
• 2015/11/27 Re: [MirageOS-devel] Charrua release Christiano F. Haesbaert
• 2015/11/27 Re: [MirageOS-devel] Hardware choices for ARM64 Nick Hardiman
• 2015/11/27 Re: [MirageOS-devel] Charrua release Amir Chaudhry
• 2015/11/27 Re: [MirageOS-devel] Charrua release Christiano F. Haesbaert
• 2015/11/27 [MirageOS-devel] "Local synchronisation between Git repositories" pioneer project Amitai Hoze
• 2015/11/26 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Hannes Mehnert
• 2015/11/26 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Thomas Leonard
• 2015/11/26 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Hannes Mehnert
• 2015/11/26 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Thomas Leonard
• 2015/11/26 Re: [MirageOS-devel] Build error in the introduction tutorial Hannes Mehnert
• 2015/11/26 Re: [MirageOS-devel] Error in the introduction process Thomas Leonard
• 2015/11/26 Re: [MirageOS-devel] Build error in the introduction tutorial ben yakawp
• 2015/11/26 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Hannes Mehnert
• 2015/11/26 Re: [MirageOS-devel] Build error in the introduction tutorial Richard Mortier
• 2015/11/26 [MirageOS-devel] Build error in the introduction tutorial ben yakawp
• 2015/11/26 [MirageOS-devel] Error in the introduction process Ben
• 2015/11/25 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Thomas Leonard
• 2015/11/25 Re: [MirageOS-devel] [compiler-hacking] OCaml compiler hacking evening next Monday (30th Nov) at Pembroke Anil Madhavapeddy
• 2015/11/25 [MirageOS-devel] MirageOS fortnightly call - Wednesday *2nd Dec* at 4pm GMT Amir Chaudhry
• 2015/11/24 Re: [MirageOS-devel] Issue building oasis.0.4.5. Jochen Bartl
• 2015/11/24 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Ashish Agarwal
• 2015/11/24 [MirageOS-devel] Issue building oasis.0.4.5. Amir Chaudhry
• 2015/11/24 [MirageOS-devel] OCaml compiler hacking evening next Monday (30th Nov) at Pembroke Jeremy Yallop
• 2015/11/23 Re: [MirageOS-devel] On unikernel size Wassim Haddad
• 2015/11/23 Re: [MirageOS-devel] On unikernel size Wassim Haddad
• 2015/11/23 Re: [MirageOS-devel] On unikernel size Anil Madhavapeddy
• 2015/11/23 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Spiros Eliopoulos
• 2015/11/23 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? William Le Ferrand
• 2015/11/23 Re: [MirageOS-devel] Unikernel Demo Jeremy Yallop
• 2015/11/23 [MirageOS-devel] OSCON'16 submission Richard Mortier
• 2015/11/23 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Anil Madhavapeddy
• 2015/11/23 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Gareth Rushgrove
• 2015/11/23 Re: [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Anil Madhavapeddy
• 2015/11/23 Re: [MirageOS-devel] Unikernel Demo Amir Chaudhry
• 2015/11/23 Re: [MirageOS-devel] OSCON 2016 speaker deadline coming up! Anil Madhavapeddy
• 2015/11/23 Re: [MirageOS-devel] Query about mirage-tcpip and checksums Richard Mortier
• 2015/11/23 Re: [MirageOS-devel] Query about mirage-tcpip and checksums Hannes Mehnert
• 2015/11/23 Re: [MirageOS-devel] MirageOS AppVMs on Qubes Anil Madhavapeddy
• 2015/11/23 [MirageOS-devel] ocaml libraries for interfacing with cloud providers? Mindy
• 2015/11/23 Re: [MirageOS-devel] MirageOS AppVMs on Qubes David Scott
• 2015/11/23 [MirageOS-devel] MirageOS AppVMs on Qubes Thomas Leonard
• 2015/11/23 Re: [MirageOS-devel] Query about mirage-tcpip and checksums Richard Mortier
• 2015/11/20 Re: [MirageOS-devel] Query about mirage-tcpip and checksums Balraj Singh

• Earlier messages
• Later messages