avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
AltGr has joined #mirage
mariusae has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
brson has joined #mirage
MrScout__ has joined #mirage
MrScout_ has quit [Ping timeout: 245 seconds]
kdef has quit [Quit: Leaving]
mcclurmc has joined #mirage
rgrinberg has joined #mirage
MrScout__ has quit [Remote host closed the connection]
seangrov` has quit [Ping timeout: 245 seconds]
brson has quit [Ping timeout: 252 seconds]
tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
brson has joined #mirage
rgrinberg has joined #mirage
brson has quit [Quit: leaving]
andreas2 has joined #mirage
rgrinberg has quit [Quit: Leaving.]
andreas1 has quit [Ping timeout: 264 seconds]
rgrinberg has joined #mirage
vanila has quit [Quit: Leaving]
seangrov` has joined #mirage
rgrinberg has quit [Quit: Leaving.]
MrScout_ has joined #mirage
MrScout_ has quit [Read error: Connection reset by peer]
MrScout_ has joined #mirage
rgrinberg has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
larhat has joined #mirage
MrScout_ has quit [Ping timeout: 252 seconds]
djs551 has joined #mirage
avsm has joined #mirage
djs551 has quit [Quit: Leaving.]
vpm has quit [Ping timeout: 264 seconds]
jonludlam has joined #mirage
jonludla` has joined #mirage
jonludlam has quit [Ping timeout: 246 seconds]
jonludla` is now known as jonludlam
andreas1 has joined #mirage
andreas2 has quit [Ping timeout: 264 seconds]
djs551 has joined #mirage
djs551 has quit [Client Quit]
AltGr has left #mirage [#mirage]
<companion_cube> hi, does anyone know how I can call free() on some carray?
thomasga has joined #mirage
yomimono has joined #mirage
mort___ has quit [Ping timeout: 250 seconds]
dsheets has joined #mirage
mattg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
mort___ has joined #mirage
damjan has quit [Remote host closed the connection]
damjan has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
<Leonidas> from ocaml?
<companion_cube> yes
<companion_cube> well, I ended up declaring a foreign interface to "free" with the type I needed
<Leonidas> I'd probably use ctypes
<companion_cube> yes, sorry, I meant with ctypes
<Leonidas> companion_cube: yes, that's what I did :-(
<companion_cube> only that Ctypes exposes some allocation procedures but nothing to free()
<Leonidas> (without ctypes, because I didn't want to introduce it as dependency yet)
<companion_cube> use case: an API that allocates an array but asks the caller to free it
<Leonidas> I suppose it is because it frees the allocated structures via GC
<Leonidas> (the ocaml c api has a special hook for a freeing-function, so I guess it is used by the runtime to destruct objects)
gargaml has quit [Ping timeout: 250 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
gargaml has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
<mattg> Hello - am I ok to ask a newb question here - it's about a problem I'm having trying to get the tcpip example to run with direct networking (https://github.com/mirage/mirage-tcpip/tree/master/examples)
<mattg> I'm able to configure / compile like this: ADDR=static mirage configure --unix + usual make steps
<mattg> but when I run, the tap0 interface is created with ipv6 only
<mattg> so I'm not able to make a route from my host to 10.0.0.2 with "sudo ifconfig tap0 10.0.0.1 255.255.255.0"
<mattg> this is ubuntu 14.04.1 LTS
<mattg> mirage 2.0.0
<avsm> mattg: any chance you could create a bug report about this? It may be a fallout of the recent ipv6 integration
<mattg> avsm: I'll do a bit more investigation first - I want to make sure it's nothing to do with the default IP address 10.0.0.2 and my network config - hang on while I try it with a 192.168
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 246 seconds]
<mattg> avsm: nope - that didn't fix it (but i wrote my first bit of ocaml changing from direct_stackv4_with_default_ipv4 to direct_stackv4_with_static_ipv4 !!! )
<avsm> mattg: the first line of many!
<avsm> i suspect the tuntap code has swapped defaults — a bug report would help nojb track it down on github.com/mirage/mirage/issues
<mattg> great - i was just about to ask where to raise it avsm
<mattg> i will do that now
<avsm> thanks!
yomimono has joined #mirage
yomimono has quit [Ping timeout: 264 seconds]
<mattg> avsm: https://github.com/mirage/mirage/issues/363 - let me know if there is any other info I should add
yomimono has joined #mirage
<hannes> mattg: I'm here on FreeBSD and manually set the ip of tap0 _before_ starting the unikernel..
<hannes> (such that the unikernel has a chance to find the mac address of its gateway)
JamesRoot has joined #mirage
<JamesRoot> If someone has time, I had a quick question about Mirage. Is Mirage able to bundle OCaml projects that rely on native code? Or can it only run OCaml projects? Specifically, I am looking to use Mirage with ZeroMQ and OpenPGM
mort___1 has quit [Ping timeout: 250 seconds]
<mattg> I will try that hannes, by specifying that stuff in /etc/network/interfaces - although here I'm trying to build as an executable, not with a unikernel yet
<mattg> updated the bug report with some more info, based on hannes 's suggestions
yomimono has quit [Ping timeout: 264 seconds]
thomasga has joined #mirage
JamesRoot has quit [Ping timeout: 246 seconds]
kdef has joined #mirage
mort___ has joined #mirage
tlockney_away is now known as tlockney
MrScout_ has joined #mirage
vanila has joined #mirage
rgrinberg has joined #mirage
mort___ has quit [Ping timeout: 250 seconds]
yomimono has joined #mirage
dkibi has joined #mirage
yomimono has quit [Ping timeout: 252 seconds]
dsheets_ has joined #mirage
avsm1 has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
avsm has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
tlockney is now known as tlockney_away
larhat has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
dkibi has quit [Remote host closed the connection]
mort___ has joined #mirage
tlockney_away is now known as tlockney
mort___ has quit [Quit: Leaving.]
thomasga has joined #mirage
avsm1 has quit [Quit: Leaving.]
brson has joined #mirage
avsm has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
mort___ has joined #mirage
avsm1 has joined #mirage
avsm has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
dkibi has joined #mirage
avsm1 has quit [Quit: Leaving.]
brson has quit [Quit: leaving]
brson has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
dsheets_ has quit [Ping timeout: 250 seconds]
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
dkibi has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]