Re: [MirageOS-devel] Mirage on Linux Mint 17

2015-11-27 Thread Thomas Leonard
On 27 November 2015 at 16:25, Richard Mortier wrote: > Hi Alex; > > On 27 November 2015 at 11:18, A.G. Rakowski wrote: >> I'm on Linux Mint 17, Cinnamon, with OPAM v1.1.1 and OCaml 4.02.3 installed >> and working fine, except regarding the following. When I run the command >> `opam install mirage

Re: [MirageOS-devel] Mirage on Linux Mint 17

2015-11-27 Thread Richard Mortier
Hi Alex; On 27 November 2015 at 11:18, A.G. Rakowski wrote: > I'm on Linux Mint 17, Cinnamon, with OPAM v1.1.1 and OCaml 4.02.3 installed > and working fine, except regarding the following. When I run the command > `opam install mirage`, I receive the following error: Aha! I think the problem ma

[MirageOS-devel] Mirage on Linux Mint 17

2015-11-27 Thread A.G. Rakowski
Dear all, I hope this is the correct place to pose a question - if not, could someone please direct me appropriately? I'm on Linux Mint 17, Cinnamon, with OPAM v1.1.1 and OCaml 4.02.3 installed and working fine, except regarding the following. When I run the command `opam install mirage`, I

Re: [MirageOS-devel] "Local synchronisation between Git repositories" pioneer project

2015-11-27 Thread Thomas Gazagnaire
Hi Amitai, welcome to MirageOS :-) A good start to that project is to read about how Git organise files locally and how it makes local synchronisations (I suspect it is just a matter of copying object files from the source to destination). That logic needs then to be added to ocaml-git here:

Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Christiano F. Haesbaert
Cool, I've squashed and made the pr: Here it is https://github.com/mirage/mirage-www/pull/414 On 27 November 2015 at 15:47, Amir Chaudhry wrote: > Great! If you can submit this as a pull request to the master branch of > mirage-www, then it makes it a little easier for others to comment via th

Re: [MirageOS-devel] Hardware choices for ARM64

2015-11-27 Thread Nick Hardiman
I’ve been turning over some ideas. I read about the virtualization problem on https://www.scaleway.com/. https://github.com/scaleway/kernel-tools/issues/14#issuecomment-105536276 How useful would Internet hosting on ARM bare metal be? What’s an attractive tech stack? > On 13 Nov 2015, at 11:2

Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Amir Chaudhry
Great! If you can submit this as a pull request to the master branch of mirage-www, then it makes it a little easier for others to comment via the GitHub interface. Thanks! Amir > On 27 Nov 2015, at 14:26, Christiano F. Haesbaert > wrote: > > I have a more or less reviewable blog post, any

Re: [MirageOS-devel] Charrua release

2015-11-27 Thread Christiano F. Haesbaert
I have a more or less reviewable blog post, any feedback is welcome: https://github.com/haesbaert/mirage-www/blob/5c3cb4ce92103aac47eacaa3795f464e70f09515/tmpl/blog/introducing-charrua-dhcp.md On 17 October 2015 at 17:35, Richard Mortier wrote: > On 15 October 2015 at 15:17, Hannes Mehnert wrot

[MirageOS-devel] "Local synchronisation between Git repositories" pioneer project

2015-11-27 Thread Amitai Hoze
Hi, my name is Amitai, I'm very excited about MirageOS and Nymote, and would like to contribute. I'm a CS Master's student in the Technion. I'm an OCaml newbie, but I learn very fast. I'm interested in starting on the "Local synchronisation between Git repositories" project. Thanks, Amitai. __