Re: [MirageOS-devel] OCaml newbie looking to learn and contribute

2016-11-02 Thread Hannes Mehnert
Hi Gabriel, On 02/11/2016 19:28, Gabriel Jaldon wrote: > I'm Gabriel and I'm new to OCaml. I have been learning it the past few > months through the OCaml course at https://www.fun-mooc.fr and the Real > World OCaml book (halfway done with both). I'm a web developer by > profession and currently m

[MirageOS-devel] OCaml newbie looking to learn and contribute

2016-11-02 Thread Gabriel Jaldon
Hi there! I'm Gabriel and I'm new to OCaml. I have been learning it the past few months through the OCaml course at https://www.fun-mooc.fr and the Real World OCaml book (halfway done with both). I'm a web developer by profession and currently mostly use Elixir (a functional language), Python and

Re: [MirageOS-devel] /etc/network/interfaces [was Re: ipv4 configuration overhauls & dhcp client adjustments]

2016-11-02 Thread Andrew Stuart
>> Do you mean that the running unikernel would need to receive an >> /etc/network/interfaces file? In which case, what's the mechanism (API?) >> that's actually used to pass that in? >> Or is it something that the deployment toolchain needs to handle, in which >> case I guess it could parse th

[MirageOS-devel] /etc/network/interfaces [was Re: ipv4 configuration overhauls & dhcp client adjustments]

2016-11-02 Thread Richard Mortier
(Subject edited) On 2 November 2016 at 18:42, Andrew Stuart wrote: > I’m aware this may be a challenge or impossible but one suggestion - it would > be useful if somehow an /etc/metwork/interfaces file could be passed in to a > unikernel, with the networking being configured as defined in the i

Re: [MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments

2016-11-02 Thread Andrew Stuart
I’m aware this may be a challenge or impossible but one suggestion - it would be useful if somehow an /etc/metwork/interfaces file could be passed in to a unikernel, with the networking being configured as defined in the interfaces file. The reason I ask this is that some of the clouds (Rackspa

[MirageOS-devel] ipv4 configuration overhauls & dhcp client adjustments

2016-11-02 Thread Mindy
Hi folks, I recently spent a bit of time attempting to make the mechanism by which network stacks are configured in the ipv4 universe a bit less surprising. I got these into PR shape early today, and I'd appreciate any comments you might have. I'm happy to hear them here, on the PR, or priv

Re: [MirageOS-devel] MirageOS feedback and fortnightly catchup - Wednesday 2 November 4pm UK time [corrected: (UTC)]

2016-11-02 Thread Mindy
Please note that the UK is no longer on British Summer Time, and the correct timezone for the call is now UTC. If you're in a DST-respecting area, the call will be one hour later for you than normal. Thanks, Mindy On 11/01/2016 08:18 AM, Gemma Gordon wrote: Hi all, We'll be using IRC agai

[MirageOS-devel] Compiler and Mirage Hacking (Weds 9 November 630pm onwards, Pembroke College)

2016-11-02 Thread Gemma Gordon
Hi all, The evenings are getting dark - come and hack with us! Next Wednesday evening is our Autumn Compiler Hacking event at Pembroke College. This time we are opening it up to a wider group and we are inviting the MirageOS team to join us while they are preparing for the new release. If you'd