Re: [MirageOS-devel] github xen git mirror

2015-08-08 Thread Thomas Leonard
On 4 August 2015 at 14:14, Luke Dunstan wrote: > > > On Mon, 3 Aug 2015 at 21:27 Thomas Leonard wrote: >> >> On 30 July 2015 at 16:16, Anil Madhavapeddy wrote: >> > >> > On 30 Jul 2015, at 16:13, Luke Dunstan wrote: >> > >> > >> > On the normal Trusty cubieboard2 image I can install minios-xen

Re: [MirageOS-devel] github xen git mirror

2015-08-04 Thread Luke Dunstan
On Mon, 3 Aug 2015 at 21:27 Thomas Leonard wrote: > On 30 July 2015 at 16:16, Anil Madhavapeddy wrote: > > > > On 30 Jul 2015, at 16:13, Luke Dunstan wrote: > > > > > > On the normal Trusty cubieboard2 image I can install minios-xen fine, > but on > > Vivid I get an error: > > > > $ opam instal

Re: [MirageOS-devel] github xen git mirror

2015-08-03 Thread Thomas Leonard
On 30 July 2015 at 16:16, Anil Madhavapeddy wrote: > > On 30 Jul 2015, at 16:13, Luke Dunstan wrote: > > > On the normal Trusty cubieboard2 image I can install minios-xen fine, but on > Vivid I get an error: > > $ opam install minios-xen > > [ERROR] The compilation of minios-xen failed at "make d

Re: [MirageOS-devel] github xen git mirror

2015-07-30 Thread Anil Madhavapeddy
> On 30 Jul 2015, at 16:13, Luke Dunstan wrote: > > > On the normal Trusty cubieboard2 image I can install minios-xen fine, but on > Vivid I get an error: > > $ opam install minios-xen > > [ERROR] The compilation of minios-xen failed at "make debug=n". > ... > ### stderr ### > # dtc/libfdt/

Re: [MirageOS-devel] github xen git mirror

2015-07-30 Thread Luke Dunstan
On Wed, 29 Jul 2015 at 17:53 Thomas Leonard wrote: > > This is now done. There is now a separate "minios-xen" opam package > (and mirage-xen-minios now just depends on that). You should now be > able to pin my minios-xen Git repository to test the latest version, > just as for any other library,

Re: [MirageOS-devel] github xen git mirror

2015-07-29 Thread Thomas Leonard
On 12 May 2015 at 16:56, Thomas Leonard wrote: > On 12 May 2015 at 16:39, Anil Madhavapeddy wrote: >> On 11 May 2015, at 09:18, Thomas Leonard wrote: >>> >>> On 11 May 2015 at 01:56, Anil Madhavapeddy wrote: On 7 May 2015, at 08:44, Thomas Leonard wrote: [...] > Mini-OS now has its ow

Re: [MirageOS-devel] github xen git mirror

2015-05-12 Thread Thomas Leonard
On 12 May 2015 at 16:39, Anil Madhavapeddy wrote: > On 11 May 2015, at 09:18, Thomas Leonard wrote: >> >> On 11 May 2015 at 01:56, Anil Madhavapeddy wrote: >>> On 7 May 2015, at 08:44, Thomas Leonard wrote: On 28 October 2014 at 21:45, Anil Madhavapeddy wrote: > On 26 May 2014, a

Re: [MirageOS-devel] github xen git mirror

2015-05-12 Thread Anil Madhavapeddy
On 11 May 2015, at 09:18, Thomas Leonard wrote: > > On 11 May 2015 at 01:56, Anil Madhavapeddy wrote: >> On 7 May 2015, at 08:44, Thomas Leonard wrote: >>> >>> On 28 October 2014 at 21:45, Anil Madhavapeddy wrote: On 26 May 2014, at 11:37, Dave Scott wrote: > > > On 26 May

Re: [MirageOS-devel] github xen git mirror

2015-05-11 Thread Thomas Leonard
On 11 May 2015 at 01:56, Anil Madhavapeddy wrote: > On 7 May 2015, at 08:44, Thomas Leonard wrote: >> >> On 28 October 2014 at 21:45, Anil Madhavapeddy wrote: >>> On 26 May 2014, at 11:37, Dave Scott wrote: On 26 May 2014, at 11:31, Anil Madhavapeddy wrote: > A bunch of

Re: [MirageOS-devel] github xen git mirror

2015-05-10 Thread Anil Madhavapeddy
On 7 May 2015, at 08:44, Thomas Leonard wrote: > > On 28 October 2014 at 21:45, Anil Madhavapeddy wrote: >> On 26 May 2014, at 11:37, Dave Scott wrote: >>> >>> >>> On 26 May 2014, at 11:31, Anil Madhavapeddy wrote: >>> A bunch of us now have our own GitHub mirrors of Xen, so it's a goo

Re: [MirageOS-devel] github xen git mirror

2015-05-07 Thread Thomas Leonard
On 28 October 2014 at 21:45, Anil Madhavapeddy wrote: > On 26 May 2014, at 11:37, Dave Scott wrote: >> >> >> On 26 May 2014, at 11:31, Anil Madhavapeddy wrote: >> >>> A bunch of us now have our own GitHub mirrors of Xen, so it's a good idea >>> to have a proper mirror repository to fork from in