mirageos-devel  

Messages by Thread

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

• Earlier messages
• Later messages