mirageos-devel  

Messages by Date

• 2016/11/11 Re: [MirageOS-devel] [ocl-staff] Compiler and Mirage Hacking (Weds 9 November 630pm onwards, Pembroke College) Gemma Gordon
• 2016/11/11 [MirageOS-devel] remove Str Hannes Mehnert
• 2016/11/10 Re: [MirageOS-devel] Question: Diff between 2 commits in Irmin Thomas Gazagnaire
• 2016/11/10 Re: [MirageOS-devel] topkg'ing ocaml-crunch Federico Gimenez
• 2016/11/10 [MirageOS-devel] Question: Diff between 2 commits in Irmin Gabriel Jaldon
• 2016/11/09 Re: [MirageOS-devel] Compiler and Mirage Hacking (Weds 9 November 630pm onwards, Pembroke College) Anil Madhavapeddy
• 2016/11/07 Re: [MirageOS-devel] topkg'ing ocaml-crunch Federico Gimenez
• 2016/11/06 Re: [MirageOS-devel] Question: How to generate History like CueKeeper does? Gabriel Jaldon
• 2016/11/05 Re: [MirageOS-devel] Question: How to generate History like CueKeeper does? Thomas Gazagnaire
• 2016/11/05 [MirageOS-devel] Question: How to generate History like CueKeeper does? Gabriel Jaldon
• 2016/11/04 Re: [MirageOS-devel] OCaml newbie looking to learn and contribute Gabriel Jaldon
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Mindy
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Christiano F. Haesbaert
• 2016/11/04 Re: [MirageOS-devel] Building ARM images Richard Mortier
• 2016/11/04 Re: [MirageOS-devel] Building ARM images Jon Ludlam
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Anil Madhavapeddy
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Christiano F. Haesbaert
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Anil Madhavapeddy
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Hannes Mehnert
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Christiano F. Haesbaert
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Anil Madhavapeddy
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Christiano F. Haesbaert
• 2016/11/04 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Anil Madhavapeddy
• 2016/11/03 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Mindy
• 2016/11/03 Re: [MirageOS-devel] Building ARM images Anil Madhavapeddy
• 2016/11/03 [MirageOS-devel] Building ARM images Richard Mortier
• 2016/11/03 Re: [MirageOS-devel] breaking up cstruct packages Anil Madhavapeddy
• 2016/11/03 Re: [MirageOS-devel] breaking up cstruct packages Anil Madhavapeddy
• 2016/11/03 Re: [MirageOS-devel] breaking up cstruct packages Daniel Bünzli
• 2016/11/03 Re: [MirageOS-devel] breaking up cstruct packages Hannes Mehnert
• 2016/11/03 [MirageOS-devel] breaking up cstruct packages Anil Madhavapeddy
• 2016/11/03 Re: [MirageOS-devel] Compiler and Mirage Hacking (Weds 9 November 630pm onwards, Pembroke College) Anil Madhavapeddy
• 2016/11/03 Re: [MirageOS-devel] topkg'ing ocaml-crunch Anil Madhavapeddy
• 2016/11/03 [MirageOS-devel] topkg'ing ocaml-crunch Federico Gimenez
• 2016/11/02 Re: [MirageOS-devel] OCaml newbie looking to learn and contribute Hannes Mehnert
• 2016/11/02 [MirageOS-devel] OCaml newbie looking to learn and contribute Gabriel Jaldon
• 2016/11/02 Re: [MirageOS-devel] /etc/network/interfaces [was Re: ipv4 configuration overhauls & dhcp client adjustments] Andrew Stuart
• 2016/11/02 [MirageOS-devel] /etc/network/interfaces [was Re: ipv4 configuration overhauls & dhcp client adjustments] Richard Mortier
• 2016/11/02 Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Andrew Stuart
• 2016/11/02 [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments Mindy
• 2016/11/02 Re: [MirageOS-devel] MirageOS feedback and fortnightly catchup - Wednesday 2 November 4pm UK time [corrected: (UTC)] Mindy
• 2016/11/02 [MirageOS-devel] Compiler and Mirage Hacking (Weds 9 November 630pm onwards, Pembroke College) Gemma Gordon
• 2016/11/01 [MirageOS-devel] MirageOS feedback and fortnightly catchup - Wednesday 2 November 4pm UK time (UTC+1) Gemma Gordon
• 2016/11/01 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/28 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/24 Re: [MirageOS-devel] Questions about contributing Federico Gimenez
• 2016/10/24 Re: [MirageOS-devel] Questions about contributing Federico Gimenez
• 2016/10/24 Re: [MirageOS-devel] Questions about contributing Hannes Mehnert
• 2016/10/24 Re: [MirageOS-devel] Questions about contributing Mindy
• 2016/10/23 [MirageOS-devel] syslog reporter Hannes Mehnert
• 2016/10/23 [MirageOS-devel] So you want to build C stubs... David Kaloper Meršinjak
• 2016/10/22 [MirageOS-devel] Questions about contributing Federico Gimenez
• 2016/10/21 Re: [MirageOS-devel] docs.mirage.io building again Nicolas Ojeda Bar
• 2016/10/21 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/20 Re: [MirageOS-devel] (Pioneer)-Projects Hannes Mehnert
• 2016/10/19 [MirageOS-devel] ARM development Richard Mortier
• 2016/10/19 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/19 Re: [MirageOS-devel] Canopy and Liveblogging Anil Madhavapeddy
• 2016/10/19 [MirageOS-devel] CfP Nov 18 2016 for FOSDEM 2017 Virtualization & IaaS DevRoom Lars Kurth
• 2016/10/19 Re: [MirageOS-devel] Canopy and Liveblogging David Scott
• 2016/10/19 [MirageOS-devel] MirageOS feedback and fortnightly catchup - Wednesday 19 October 4pm UK time (UTC+1) Gemma Gordon
• 2016/10/19 Re: [MirageOS-devel] Canopy and Liveblogging Hannes Mehnert
• 2016/10/19 Re: [MirageOS-devel] How to use Functoria_app.Cmd.read, Functoria and utop Thomas Gazagnaire
• 2016/10/19 Re: [MirageOS-devel] docs.mirage.io building again Martin Lucina
• 2016/10/19 [MirageOS-devel] How to use Functoria_app.Cmd.read, Functoria and utop Martin Lucina
• 2016/10/19 Re: [MirageOS-devel] Canopy and Liveblogging Anil Madhavapeddy
• 2016/10/19 Re: [MirageOS-devel] Canopy and Liveblogging Enguerrand Decorne
• 2016/10/19 [MirageOS-devel] Canopy and Liveblogging Gemma Gordon
• 2016/10/18 Re: [MirageOS-devel] [cambridge] welcome Takayuki Imada Hannes Mehnert
• 2016/10/18 Re: [MirageOS-devel] ARM experiences (was: [cambridge] welcome Takayuki Imada) Anil Madhavapeddy
• 2016/10/18 Re: [MirageOS-devel] ARM experiences (was: [cambridge] welcome Takayuki Imada) Anil Madhavapeddy
• 2016/10/18 Re: [MirageOS-devel] [cambridge] welcome Takayuki Imada Nick Betteridge
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Richard Mortier
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Daniel Bünzli
• 2016/10/18 [MirageOS-devel] [cambridge] welcome Takayuki Imada Anil Madhavapeddy
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Richard Mortier
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Ashish Agarwal
• 2016/10/18 Re: [MirageOS-devel] Using Result instead of Option in libraries Daniel Bünzli
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Ashish Agarwal
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Daniel Bünzli
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Ashish Agarwal
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Daniel Bünzli
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Ashish Agarwal
• 2016/10/17 Re: [MirageOS-devel] Using Result instead of Option in libraries Richard Mortier
• 2016/10/14 Re: [MirageOS-devel] [PATCH v3 3/4] Significant changes to decision making; some new roles and minor changes Konrad Rzeszutek Wilk
• 2016/10/14 Re: [MirageOS-devel] [PATCH v3 2/4] Added document containing governance related todo list Konrad Rzeszutek Wilk
• 2016/10/14 Re: [MirageOS-devel] [PATCH v3 1/4] Code motion changes to make real patches easier to read Konrad Rzeszutek Wilk
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Mindy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Ashish Agarwal
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Hannes Mehnert
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Richard Mortier
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries David Scott
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Daniel Bünzli
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Hannes Mehnert
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Mindy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Hannes Mehnert
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Hannes Mehnert
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Amir Chaudhry
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Richard Mortier
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] Using Result instead of Option in libraries David Scott
• 2016/10/14 [MirageOS-devel] Using Result instead of Option in libraries Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Hannes Mehnert
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Amir Chaudhry
• 2016/10/14 Re: [MirageOS-devel] docs.mirage.io building again Mindy
• 2016/10/14 [MirageOS-devel] docs.mirage.io building again Anil Madhavapeddy
• 2016/10/13 Re: [MirageOS-devel] deprecating 4.02? Anil Madhavapeddy
• 2016/10/13 Re: [MirageOS-devel] deprecating 4.02? Mindy
• 2016/10/11 [MirageOS-devel] Outreachy Application Deadline Reminder (for applicants and mentors) Lars Kurth
• 2016/10/11 Re: [MirageOS-devel] RFC: disconnect / DEVICE lifetime Hannes Mehnert
• 2016/10/11 Re: [MirageOS-devel] Raspberry Pi 3 installation Nick Betteridge
• 2016/10/10 Re: [MirageOS-devel] Raspberry Pi 3 installation Aaron Cornelius
• 2016/10/10 Re: [MirageOS-devel] RFC: disconnect / DEVICE lifetime Thomas Leonard
• 2016/10/10 Re: [MirageOS-devel] Raspberry Pi 3 installation Eugene Bagdasaryan
• 2016/10/10 Re: [MirageOS-devel] Raspberry Pi 3 installation Anil Madhavapeddy
• 2016/10/10 [MirageOS-devel] RFC: disconnect / DEVICE lifetime Hannes Mehnert
• 2016/10/09 Re: [MirageOS-devel] Raspberry Pi 3 installation Eugene Bagdasaryan
• 2016/10/05 Re: [MirageOS-devel] Raspberry Pi 3 installation Mindy
• 2016/10/05 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 5th October 4pm UK time (UTC+1) Gemma Gordon
• 2016/10/04 [MirageOS-devel] Raspberry Pi 3 installation Eugene Bagdasaryan
• 2016/10/04 Re: [MirageOS-devel] load/startup time error handling Mindy
• 2016/10/04 Re: [MirageOS-devel] load/startup time error handling Hannes Mehnert
• 2016/10/04 Re: [MirageOS-devel] load/startup time error handling David Scott
• 2016/10/04 Re: [MirageOS-devel] load/startup time error handling Anil Madhavapeddy
• 2016/10/04 Re: [MirageOS-devel] [PATCH v3 4/4] Addressed comments on quorum and security team members Ian Jackson
• 2016/10/04 Re: [MirageOS-devel] [PATCH v3 4/4] Addressed comments on quorum and security team members Lars Kurth
• 2016/10/03 Re: [MirageOS-devel] [PATCH v3 4/4] Addressed comments on quorum and security team members Ian Jackson
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Hannes Mehnert
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Mindy
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Mindy
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Thomas Leonard
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Richard Mortier
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Hannes Mehnert
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Richard Mortier
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Anil Madhavapeddy
• 2016/10/01 Re: [MirageOS-devel] load/startup time error handling Thomas Leonard
• 2016/09/30 Re: [MirageOS-devel] load/startup time error handling Drup
• 2016/09/30 [MirageOS-devel] load/startup time error handling Hannes Mehnert
• 2016/09/30 Re: [MirageOS-devel] [Caml-list] [RE-ANN] From opkg to odig v0.0.1 (was Re: [ANN] opkg v0.0.1 - Documentation access improvements) Daniel Bünzli
• 2016/09/29 Re: [MirageOS-devel] [RE-ANN] From opkg to odig v0.0.1 (was Re: [ANN] opkg v0.0.1 - Documentation access improvements) Anil Madhavapeddy
• 2016/09/27 [MirageOS-devel] [RE-ANN] From opkg to odig v0.0.1 (was Re: [ANN] opkg v0.0.1 - Documentation access improvements) Daniel Bünzli
• 2016/09/23 [MirageOS-devel] [ANN] opkg v0.0.1 - Documentation access improvements Daniel Bünzli
• 2016/09/23 [MirageOS-devel] [PATCH v3 2/4] Added document containing governance related todo list Lars Kurth
• 2016/09/23 [MirageOS-devel] [PATCH v3 4/4] Addressed comments on quorum and security team members Lars Kurth
• 2016/09/23 [MirageOS-devel] [PATCH v3 3/4] Significant changes to decision making; some new roles and minor changes Lars Kurth
• 2016/09/23 [MirageOS-devel] [PATCH v3 1/4] Code motion changes to make real patches easier to read Lars Kurth
• 2016/09/23 [MirageOS-devel] [PATCH v3 0/4] Significant changes to Xen Project Governance (governance.html) Lars Kurth
• 2016/09/21 Re: [MirageOS-devel] No MirageOS call today Daniel Bünzli
• 2016/09/21 Re: [MirageOS-devel] No MirageOS call today Daniel Bünzli
• 2016/09/21 Re: [MirageOS-devel] No MirageOS call today Anil Madhavapeddy
• 2016/09/21 [MirageOS-devel] No MirageOS call today Thomas Gazagnaire
• 2016/09/20 Re: [MirageOS-devel] infrastructure IP address renumbering Jon Ludlam
• 2016/09/17 [MirageOS-devel] cufp2016.mirage.io liveblog is open for action Anil Madhavapeddy
• 2016/09/15 Re: [MirageOS-devel] infrastructure IP address renumbering Anil Madhavapeddy
• 2016/09/15 Re: [MirageOS-devel] infrastructure IP address renumbering Thomas Leonard
• 2016/09/15 [MirageOS-devel] infrastructure IP address renumbering Anil Madhavapeddy
• 2016/09/14 Re: [MirageOS-devel] Getting 502 on Projects page Alexander Dinu
• 2016/09/13 Re: [MirageOS-devel] Bigarray parser generator project Jeremy Yallop
• 2016/09/13 Re: [MirageOS-devel] Bigarray parser generator project Abhishek Kumar
• 2016/09/13 Re: [MirageOS-devel] Updating Unikernel Anil Madhavapeddy
• 2016/09/10 Re: [MirageOS-devel] Getting 502 on Projects page Siddhant Sharan , B.Tech., Comp. Sc. & Engg., IIT (BHU), Varanasi (INDIA)
• 2016/09/10 [MirageOS-devel] Bigarray parser generator project Abhishek Kumar
• 2016/09/09 Re: [MirageOS-devel] [Xen-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Tim Deegan
• 2016/09/09 Re: [MirageOS-devel] [Xen-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
• 2016/09/08 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Thomas Leonard
• 2016/09/08 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
• 2016/09/08 [MirageOS-devel] cleaned up mirage/mirage branches Anil Madhavapeddy
• 2016/09/08 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Thomas Leonard
• 2016/09/08 Re: [MirageOS-devel] Getting 502 on Projects page Anil Madhavapeddy
• 2016/09/08 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Wei Liu
• 2016/09/08 [MirageOS-devel] Getting 502 on Projects page Siddhant Sharan , B.Tech., Comp. Sc. & Engg., IIT (BHU), Varanasi (INDIA)
• 2016/09/08 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Wei Liu
• 2016/09/08 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Wei Liu
• 2016/09/07 Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS Hannes Mehnert
• 2016/09/07 Re: [MirageOS-devel] unsigned integers Anil Madhavapeddy
• 2016/09/07 Re: [MirageOS-devel] unsigned integers Hannes Mehnert
• 2016/09/07 Re: [MirageOS-devel] unsigned integers Anil Madhavapeddy
• 2016/09/07 Re: [MirageOS-devel] unsigned integers Hannes Mehnert
• 2016/09/07 Re: [MirageOS-devel] unsigned integers Anil Madhavapeddy
• 2016/09/07 [MirageOS-devel] unsigned integers Hannes Mehnert
• 2016/09/07 [MirageOS-devel] MirageOS fortnightly catchup - Wednesday 7 September 4pm UK time (UTC+1) Gemma Gordon
• 2016/09/06 [MirageOS-devel] Winter Outreachy round - please update projects Lars Kurth
• 2016/09/06 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth
• 2016/09/03 Re: [MirageOS-devel] Updating Unikernel Thomas Leonard
• 2016/09/01 Re: [MirageOS-devel] deprecating 4.02? Anil Madhavapeddy
• 2016/09/01 Re: [MirageOS-devel] deprecating 4.02? Martin Lucina
• 2016/09/01 Re: [MirageOS-devel] deprecating 4.02? Hannes Mehnert
• 2016/08/31 [MirageOS-devel] Updating Unikernel Wassim Haddad
• 2016/08/31 Re: [MirageOS-devel] deprecating 4.02? Anil Madhavapeddy
• 2016/08/31 [MirageOS-devel] deprecating 4.02? Mindy
• 2016/08/26 Re: [MirageOS-devel] [PATCH 3/3] Significant changes to decision making; some new roles and minor changes Lars Kurth

• Earlier messages
• Later messages