mirageos-devel  

Messages by Thread

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

• Earlier messages
• Later messages