mirageos-devel  

Messages by Thread

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

• Earlier messages
• Later messages