Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 260 seconds]
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #mirage
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #mirage
NSA_Spy has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
sudo has joined #mirage
nara has quit [Ping timeout: 272 seconds]
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Not_A_NSA_Spy has joined #mirage
Undercover_Russi has quit [Read error: Connection reset by peer]
Undercover_Russi has joined #mirage
Not_A_NSA_Spy has quit [Read error: Connection reset by peer]
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Remote host closed the connection]
Undercover_Russi has joined #mirage
Undercover_Russi has quit [Ping timeout: 245 seconds]
<hannes>
laudecay: including C code into MirageOS requires "cross-compilation" - well, we have no real libc in there, and need to get the C code to compile with our custom libc headers -- examples doing this are bigstringaf / digestif / etc. -- some basic functionality (memcpy/memcmp/..) is available, but not all the bells and whistles. I'm sure we'll figure that out at the retreat :)
<hannes>
ocaml-tuntap - maybe report an issue there or drop a mail to the mailing list? I've not much clue about that package -- or maybe it works only with lwt < 5..
<hannes>
and even less clue about the examples, I don't think I ever successfully ran tests&examples on my laptop (FreeBSD)
Haudegen has joined #mirage
jnavila has joined #mirage
TheRuralJuror has joined #mirage
jnavila_ has joined #mirage
jnavila has quit [Ping timeout: 256 seconds]
TheRuralJuror has quit [Quit: Bin weg.]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
NSA_Spy has joined #mirage
Hrundi_V_Bakshi has joined #mirage
sudo is now known as gozu
adhux0x0f0x3f has joined #mirage
NSA_Spy has quit [Remote host closed the connection]
NSA_Spy has joined #mirage
jnavila_ has quit [Remote host closed the connection]
jnavila has joined #mirage
mahmudov has quit [Ping timeout: 268 seconds]
jnavila has quit [Remote host closed the connection]
mahmudov has joined #mirage
Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]