| May 30, 14 | 
| 17:45 | 
[MirageOS-devel] irmin graphs | 
Thomas Gazagnaire | 
 | 
| May 29, 14 | 
| 09:48 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Anil Madhavapeddy | 
 | 
| 09:31 | 
Re: [MirageOS-devel] [Xen-devel] [For community review] Windows PV Drivers Incubation Sub-project Proposal | 
annie li | 
 | 
| 09:31 | 
Re: [MirageOS-devel] [Xen-devel] [For community review] Windows PV Drivers Incubation Sub-project Proposal | 
Fabio Fantoni | 
 | 
| 09:31 | 
Re: [MirageOS-devel] [opam-devel] experimental opam bulk build logs	on GitHub | 
Louis Gesbert | 
 | 
| May 28, 14 | 
| 14:02 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Mindy | 
 | 
| 13:39 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
Anil Madhavapeddy | 
 | 
| 12:42 | 
[MirageOS-devel] [For community review] Windows PV Drivers Incubation Sub-project Proposal | 
Lars Kurth | 
 | 
| 09:11 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
romain.calascibetta | 
 | 
| 08:45 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
Anil Madhavapeddy | 
 | 
| 01:08 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
Rudi Grinberg | 
 | 
| May 27, 14 | 
| 23:02 | 
Re: [MirageOS-devel] irmin 0.8.0 | 
Anil Madhavapeddy | 
 | 
| 22:56 | 
[MirageOS-devel] irmin 0.8.0 | 
Thomas Gazagnaire | 
 | 
| 21:11 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
Anil Madhavapeddy | 
 | 
| 15:48 | 
Re: [MirageOS-devel] Cohttp/Conduit refactoring update | 
Rudi Grinberg | 
 | 
| 15:02 | 
Re: [MirageOS-devel] Mirage weekly call today (tuesday),	4.30pm BST (== GMT + 1) | 
Anil Madhavapeddy | 
 | 
| 10:10 | 
[MirageOS-devel] Cohttp/Conduit refactoring update | 
Anil Madhavapeddy | 
 | 
| 09:56 | 
[MirageOS-devel] Mirage weekly call today (tuesday),	4.30pm BST (== GMT + 1) | 
David Scott | 
 | 
| May 26, 14 | 
| 10:37 | 
Re: [MirageOS-devel] github xen git mirror | 
Dave Scott | 
 | 
| 10:31 | 
[MirageOS-devel] github xen git mirror | 
Anil Madhavapeddy | 
 | 
| May 22, 14 | 
| 13:49 | 
[MirageOS-devel] Schedule and additional information for the	Hackathon published | 
Lars Kurth | 
 | 
| 08:41 | 
Re: [MirageOS-devel] Mirage ARM port | 
Goswin von Brederlow | 
 | 
| May 21, 14 | 
| 15:45 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Richard Mortier | 
 | 
| 15:36 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Dominic Price | 
 | 
| 15:24 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Mindy | 
 | 
| 15:19 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Richard Mortier | 
 | 
| 14:39 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Mindy | 
 | 
| May 20, 14 | 
| 16:40 | 
[MirageOS-devel] experimental opam bulk build logs on GitHub | 
Anil Madhavapeddy | 
 | 
| 14:33 | 
[MirageOS-devel] Irminsule repo migration | 
Thomas Gazagnaire | 
 | 
| 14:30 | 
[MirageOS-devel] plan for accessing devices in a domestic setting | 
Richard Mortier | 
 | 
| May 19, 14 | 
| 21:11 | 
Re: [MirageOS-devel] pathos: pathological http server | 
Richard Mortier | 
 | 
| 19:14 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Mindy | 
 | 
| 18:56 | 
Re: [MirageOS-devel] OPW intern checking in! | 
Malcolm Matalka | 
 | 
| 15:53 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| 15:48 | 
Re: [MirageOS-devel] pathos: pathological http server | 
Anil Madhavapeddy | 
 | 
| 15:34 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| 15:09 | 
[MirageOS-devel] OPW intern checking in! | 
Mindy | 
 | 
| 12:15 | 
Re: [MirageOS-devel] OCaml Labs meeting - Wed 21st May in the	Computer Lab | 
Amir Chaudhry | 
 | 
| May 18, 14 | 
| 19:27 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| May 16, 14 | 
| 21:07 | 
[MirageOS-devel] may be of tangential relevance | 
Richard Mortier | 
 | 
| 19:52 | 
[MirageOS-devel] may be of tangential relevance | 
Richard Mortier | 
 | 
| 17:56 | 
Re: [MirageOS-devel] Mirage on Xen/ARM status | 
Jon Crowcroft | 
 | 
| 17:32 | 
Re: [MirageOS-devel] Mirage on Xen/ARM status | 
Thomas Gazagnaire | 
 | 
| 17:25 | 
Re: [MirageOS-devel] Mirage on Xen/ARM status | 
Anil Madhavapeddy | 
 | 
| 16:41 | 
[MirageOS-devel] Mirage on Xen/ARM status | 
Thomas Leonard | 
 | 
| 12:38 | 
[MirageOS-devel] [Need input] Proposal to change committers for the XAPI Project - implications for the whole project? | 
Lars Kurth | 
 | 
| May 15, 14 | 
| 19:03 | 
[MirageOS-devel] experimental docker 'trusted build' of mirage | 
Anil Madhavapeddy | 
 | 
| 10:21 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Anil Madhavapeddy | 
 | 
| 09:52 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| May 14, 14 | 
| 17:18 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| 16:41 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Dave Scott | 
 | 
| 16:21 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Anil Madhavapeddy | 
 | 
| 16:15 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Jon Ludlam | 
 | 
| 15:55 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Anil Madhavapeddy | 
 | 
| 15:53 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| 15:47 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Jon Ludlam | 
 | 
| 15:18 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| 14:39 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| 14:26 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Gazagnaire | 
 | 
| 14:06 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
Anil Madhavapeddy | 
 | 
| 14:05 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| 14:01 | 
Re: [MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
David Scott | 
 | 
| 13:50 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| 13:01 | 
[MirageOS-devel] Monitoring MirageOS guests on CubieBoard2 | 
buzz heavyyear | 
 | 
| 11:43 | 
[MirageOS-devel] Xen Project Developer Summit Update : CfP closes	in two days | 
Lars Kurth | 
 | 
| 08:53 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Hannes Mehnert | 
 | 
| 08:31 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| May 13, 14 | 
| 20:48 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Hannes Mehnert | 
 | 
| 13:19 | 
Re: [MirageOS-devel] ctypes and c++ | 
Steven Luland | 
 | 
| 12:54 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| 11:32 | 
[MirageOS-devel] Mirage call postponed | 
Amir Chaudhry | 
 | 
| 11:21 | 
Re: [MirageOS-devel] ctypes and c++ | 
Richard Mortier | 
 | 
| 09:57 | 
Re: [MirageOS-devel] ctypes and c++ | 
Anil Madhavapeddy | 
 | 
| May 12, 14 | 
| 15:10 | 
Re: [MirageOS-devel] Mirage/ARM plans | 
Anil Madhavapeddy | 
 | 
| 09:28 | 
[MirageOS-devel] Mirage/ARM plans | 
Thomas Leonard | 
 | 
| May 10, 14 | 
| 23:25 | 
Re: [MirageOS-devel] ctypes and c++ | 
Jeremy Yallop | 
 | 
| 11:00 | 
Re: [MirageOS-devel] ctypes and c++ | 
Richard Mortier | 
 | 
| May 09, 14 | 
| 16:42 | 
Re: [MirageOS-devel] ctypes and c++ | 
Jeremy Yallop | 
 | 
| 16:08 | 
[MirageOS-devel] ctypes and c++ | 
Steven Luland | 
 | 
| 07:04 | 
Re: [MirageOS-devel] Mirage ARM port | 
Thomas Leonard | 
 | 
| 06:15 | 
Re: [MirageOS-devel] Mirage ARM port | 
buzz heavyyear | 
 | 
| May 08, 14 | 
| 21:04 | 
Re: [MirageOS-devel] mirage tutorials | 
Richard Mortier | 
 | 
| 16:47 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Daniel BÃnzli | 
 | 
| 16:40 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Anil Madhavapeddy | 
 | 
| 16:36 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Daniel BÃnzli | 
 | 
| 16:28 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Anil Madhavapeddy | 
 | 
| 16:22 | 
[MirageOS-devel] welcome to the summer hackers | 
Anil Madhavapeddy | 
 | 
| 13:53 | 
Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's	generic libm (4abf42d) | 
Thomas Gazagnaire | 
 | 
| 13:38 | 
Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's generic libm (4abf42d) | 
Thomas Leonard | 
 | 
| 10:09 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Daniel BÃnzli | 
 | 
| 10:07 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Andrà NÃss | 
 | 
| 09:56 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Andrà NÃss | 
 | 
| 09:15 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Daniel BÃnzli | 
 | 
| 09:04 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Andrà NÃss | 
 | 
| 08:34 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Thomas Gazagnaire | 
 | 
| May 07, 14 | 
| 22:38 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Anil Madhavapeddy | 
 | 
| 21:46 | 
Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's	generic libm (4abf42d) | 
Anil Madhavapeddy | 
 | 
| 21:38 | 
Re: [MirageOS-devel] Starting to think about Graduating Mirage OS | 
Anil Madhavapeddy | 
 | 
| 19:15 | 
Re: [MirageOS-devel] [mirage-platform] Switched to	dietlibc's	generic libm (4abf42d) | 
Richard Mortier | 
 | 
| 19:05 | 
Re: [MirageOS-devel] Mirage ARM port | 
Richard Mortier | 
 | 
| 15:59 | 
Re: [MirageOS-devel] OCaml Labs meeting - Wed 21st May in the Computer Lab | 
Mike McClurg | 
 | 
| 14:56 | 
[MirageOS-devel] Starting to think about Graduating Mirage OS | 
Lars Kurth | 
 | 
| 14:39 | 
Re: [MirageOS-devel] OCaml Labs meeting - Wed 21st May in the	Computer Lab | 
Amir Chaudhry | 
 | 
| 14:12 | 
Re: [MirageOS-devel] [mirage-platform] Switched to dietlibc's	generic libm (4abf42d) | 
Thomas Leonard | 
 | 
| 13:06 | 
Re: [MirageOS-devel] Camlp4 Stack_overflow | 
Andrà NÃss | 
 | 
| 13:01 | 
Re: [MirageOS-devel] Mirage ARM port | 
Anil Madhavapeddy | 
 | 
| 11:53 | 
Re: [MirageOS-devel] Mirage ARM port | 
Jon Ludlam | 
 | 
| 11:40 | 
[MirageOS-devel] Camlp4 Stack_overflow | 
Andrà NÃss | 
 | 
| May 06, 14 | 
| 19:43 | 
Re: [MirageOS-devel] Mirage ARM port | 
Anil Madhavapeddy | 
 | 
| 19:19 | 
Re: [MirageOS-devel] Mini-OS on ARM status | 
Anil Madhavapeddy | 
 | 
| 13:38 | 
[MirageOS-devel] [Cohttp] Sockaddr Information | 
romain.calascibetta | 
 | 
| 11:19 | 
[MirageOS-devel] backbone 409 (Barcelona, Spain) -- June 14/15 | 
Hannes Mehnert | 
 | 
| 11:01 | 
Re: [MirageOS-devel] Struggling a bit with the Hello	World	applications | 
Dave Scott | 
 | 
| 10:35 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Anil Madhavapeddy | 
 | 
| 10:35 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Anil Madhavapeddy | 
 | 
| 09:49 | 
Re: [MirageOS-devel] [Xen-devel] Extending Xen Project CfP until May the 12th (actually the 16th) | 
Lars Kurth | 
 | 
| 09:41 | 
Re: [MirageOS-devel] Mini-OS on ARM status | 
Thomas Leonard | 
 | 
| 09:39 | 
Re: [MirageOS-devel] [Xen-devel] Extending Xen Project CfP until	May the 12th | 
Roger Pau Monné | 
 | 
| 09:32 | 
[MirageOS-devel] Extending Xen Project CfP until May the 12th | 
Lars Kurth | 
 | 
| May 05, 14 | 
| 20:34 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Andrà NÃss | 
 | 
| 20:07 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Andrà NÃss | 
 | 
| 17:26 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Anil Madhavapeddy | 
 | 
| 16:31 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Ian Wilkinson | 
 | 
| 16:10 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Andrà NÃss | 
 | 
| 12:14 | 
Re: [MirageOS-devel] Struggling a bit with the Hello	World	applications | 
Anil Madhavapeddy | 
 | 
| 10:52 | 
Re: [MirageOS-devel] Struggling a bit with the Hello	World	applications | 
Ian Wilkinson | 
 | 
| 10:47 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Andrà NÃss | 
 | 
| 10:32 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Anil Madhavapeddy | 
 | 
| 10:11 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Andrà NÃss | 
 | 
| 08:13 | 
Re: [MirageOS-devel] Struggling a bit with the Hello World	applications | 
Anil Madhavapeddy | 
 | 
| 07:42 | 
[MirageOS-devel] Struggling a bit with the Hello World applications | 
Andrà NÃss | 
 | 
| May 01, 14 | 
| 21:39 | 
Re: [MirageOS-devel] Mirage ARM port | 
Anil Madhavapeddy | 
 | 
| 20:13 | 
Re: [MirageOS-devel] welcome to mindy preston! | 
Anil Madhavapeddy | 
 | 
| 20:11 | 
Re: [MirageOS-devel] basic support for transactions in irminsule | 
Anil Madhavapeddy | 
 | 
| 20:07 | 
[MirageOS-devel] basic support for transactions in irminsule | 
Thomas Gazagnaire | 
 | 
| 20:01 | 
Re: [MirageOS-devel] welcome to mindy preston! | 
Jon Crowcroft | 
 | 
| 19:50 | 
Re: [MirageOS-devel] welcome to mindy preston! | 
Anil Madhavapeddy | 
 | 
| 19:41 | 
Re: [MirageOS-devel] irminsule merge | 
Thomas Gazagnaire | 
 |