| July 29, 16 |
| 00:31 |
Re: [MirageOS-devel] Script to run Solo5 on AWS EC2 KVM / HVM? |
Andrew Stuart |
|
| 00:01 |
[MirageOS-devel] Script to run Solo5 on AWS EC2 KVM / HVM? |
Andrew Stuart |
|
| July 27, 16 |
| 16:07 |
Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS |
Mindy |
|
| 13:53 |
[MirageOS-devel] MirageOS fortnightly catchup - Wednesday 27th July 4pm UK time (UTC+1) |
Gemma Gordon |
|
| 13:05 |
Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS |
Matthew Gray |
|
| 10:19 |
[MirageOS-devel] MirageOS fortnightly catchup - Wednesday 27 July, 16.00 UTC+1 |
Mindy |
|
| July 25, 16 |
| 16:52 |
Re: [MirageOS-devel] Modify Hello World Example to Accept Input |
Thomas Leonard |
|
| 16:13 |
[MirageOS-devel] Modify Hello World Example to Accept Input |
John P. McDermott (USN Civilian) |
|
| July 20, 16 |
| 17:31 |
Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS |
Thomas Leonard |
|
| 17:12 |
Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS |
Hannes Mehnert |
|
| 16:55 |
[MirageOS-devel] NTP client integration with MirageOS / Mini-OS |
Kia |
|
| 14:35 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Amir Chaudhry |
|
| 14:34 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Mindy |
|
| 14:20 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Drup |
|
| 12:17 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Daniel Bünzli |
|
| 12:00 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Mindy |
|
| 11:57 |
Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? |
Martin Lucina |
|
| 10:32 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| 10:12 |
Re: [MirageOS-devel] Lifecycle |
Daniel Bünzli |
|
| 08:11 |
Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs |
Richard Mortier |
|
| 08:03 |
Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs |
Richard Mortier |
|
| 07:44 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| July 19, 16 |
| 20:17 |
Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? |
David Scott |
|
| 20:06 |
Re: [MirageOS-devel] Lifecycle |
Daniel Bünzli |
|
| 19:41 |
Re: [MirageOS-devel] Lifecycle |
Mindy |
|
| 19:13 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| 19:10 |
Re: [MirageOS-devel] Lifecycle |
Nik Sultana |
|
| 19:01 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| 16:43 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Amir Chaudhry |
|
| 16:19 |
Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? |
Thomas Leonard |
|
| 16:05 |
Re: [MirageOS-devel] Mirage/Solo5: What to do about C stubs? |
Hannes Mehnert |
|
| 15:47 |
[MirageOS-devel] Mirage/Solo5: What to do about C stubs? |
Martin Lucina |
|
| 14:14 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Mindy |
|
| 14:10 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Thomas Gazagnaire |
|
| 11:56 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Amir Chaudhry |
|
| 11:32 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Mindy |
|
| 11:26 |
Re: [MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Amir Chaudhry |
|
| 11:19 |
Re: [MirageOS-devel] Some Mirage student projects |
Richard Mortier |
|
| 10:29 |
Re: [MirageOS-devel] Some Mirage student projects |
Raphael Proust |
|
| July 18, 16 |
| 21:24 |
Re: [MirageOS-devel] MirageOS Hackathon tomorrow (Weds 13th July) 9am-11pm, Darwin College! |
Anil Madhavapeddy |
|
| 20:28 |
Re: [MirageOS-devel] Some Mirage student projects |
Thomas Gazagnaire |
|
| July 17, 16 |
| 22:02 |
Re: [MirageOS-devel] Some Mirage student projects |
Richard Mortier |
|
| July 15, 16 |
| 14:29 |
[MirageOS-devel] removal of deprecated config in mirage 3.0 (mirage configure --unix/--xen, add_to_opam_packages, add_to_libraries) |
Mindy |
|
| July 14, 16 |
| 17:16 |
Re: [MirageOS-devel] Lifecycle |
Daniel Bünzli |
|
| 17:14 |
Re: [MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| 17:10 |
Re: [MirageOS-devel] Lifecycle |
Daniel Bünzli |
|
| 17:09 |
Re: [MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| 16:53 |
Re: [MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| 16:35 |
Re: [MirageOS-devel] Lifecycle |
Nik Sultana |
|
| 16:30 |
Re: [MirageOS-devel] Lifecycle |
Thomas Leonard |
|
| 16:22 |
Re: [MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| 15:45 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| 15:22 |
Re: [MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| 13:21 |
Re: [MirageOS-devel] Lifecycle |
Nik Sultana |
|
| 13:19 |
Re: [MirageOS-devel] Lifecycle |
Richard Mortier |
|
| 13:11 |
Re: [MirageOS-devel] Lifecycle |
Daniel Bünzli |
|
| 12:06 |
[MirageOS-devel] Lifecycle |
Nick Betteridge |
|
| July 13, 16 |
| 21:42 |
Re: [MirageOS-devel] Hello World Missing Linker Script |
Anil Madhavapeddy |
|
| 15:25 |
Re: [MirageOS-devel] Hello World Missing Linker Script |
John P. McDermott (USN Civilian) |
|
| 15:10 |
Re: [MirageOS-devel] Hello World Missing Linker Script |
John P. McDermott (USN Civilian) |
|
| 15:05 |
Re: [MirageOS-devel] Hello World Missing Linker Script |
Anil Madhavapeddy |
|
| 14:43 |
Re: [MirageOS-devel] Hello World Missing Linker Script |
Thomas Leonard |
|
| 14:31 |
[MirageOS-devel] Hello World Missing Linker Script |
John P. McDermott (USN Civilian) |
|
| 13:09 |
Re: [MirageOS-devel] Mirage Atom feed down? |
Anil Madhavapeddy |
|
| 10:02 |
Re: [MirageOS-devel] NTP for MirageOS status |
Anil Madhavapeddy |
|
| July 12, 16 |
| 17:49 |
[MirageOS-devel] NTP for MirageOS status |
Kia |
|
| 16:05 |
Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs |
Mindy |
|
| 16:02 |
Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs |
Hannes Mehnert |
|
| 15:55 |
[MirageOS-devel] MirageOS Hackathon tomorrow (Weds 13th July) 9am-11pm, Darwin College! |
Gemma Gordon |
|
| July 07, 16 |
| 19:08 |
Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy |
Anil Madhavapeddy |
|
| 18:48 |
Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy |
Thomas Leonard |
|
| 18:39 |
Re: [MirageOS-devel] [ocl-staff] MirageOS Hackathon - Projects on Canopy |
Anil Madhavapeddy |
|
| July 06, 16 |
| 13:08 |
Re: [MirageOS-devel] MirageOS Hackathon - Projects on Canopy |
Mindy |
|
| 12:59 |
[MirageOS-devel] MirageOS Hackathon - Projects on Canopy |
Gemma Gordon |
|
| July 02, 16 |
| 16:52 |
Re: [MirageOS-devel] Mirage/Solo5 update, ready for early testing |
Hannes Mehnert |
|
| July 01, 16 |
| 10:26 |
Re: [MirageOS-devel] mirageos 3.0 : let's break some APIs |
Mindy |
|
