#mirage on 2015-04-19 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:42 jonludlam has quit [Ping timeout: 264 seconds]

00:45 brson has quit [Quit: leaving]

01:23 nojb has quit [Quit: nojb]

02:54 AltGr has joined #mirage

03:13 AltGr has left #mirage [#mirage]

05:20 _whitelogger has quit [Ping timeout: 272 seconds]

11:34 _whitelogger has joined #mirage

12:00 nojb has quit [Quit: nojb]

12:08 nojb has joined #mirage

12:09 mort___ has quit [Quit: Leaving.]

13:46 mort___ has joined #mirage

13:56 avsm has joined #mirage

14:13 justincormack has quit [Ping timeout: 265 seconds]

14:25 justincormack has joined #mirage

15:05 mort___ has quit [Quit: Leaving.]

15:25 nojb has quit [Quit: nojb]

15:32 mort___ has joined #mirage

15:40 avsm has quit [Quit: Leaving.]

15:47 avsm has joined #mirage

15:53 nojb has joined #mirage

16:01 mcclurmc has joined #mirage

16:05 mcclurmc_ has quit [Ping timeout: 252 seconds]

16:06 mcclurmc has quit [Ping timeout: 240 seconds]

16:27 mort___ has quit [Quit: Leaving.]

16:57 mcclurmc has joined #mirage

17:18 mort___ has joined #mirage

17:22 mcclurmc has quit [Remote host closed the connection]

17:34 nojb has quit [Quit: nojb]

18:06 nojb has joined #mirage

18:08 nojb has quit [Client Quit]

18:33 brson has joined #mirage

18:46 andreas has joined #mirage

18:46 andreas1 has joined #mirage

18:51 andreas has quit [Ping timeout: 276 seconds]

18:51 andreas1 has quit [Quit: Leaving.]

18:53 andreas has joined #mirage

18:57 brson has quit [Ping timeout: 256 seconds]

18:57 andreas has quit [Client Quit]

18:58 andreas has joined #mirage

19:12 brson has joined #mirage

19:14 magthe has joined #mirage

19:24 <magthe> hmm, getting link errors on ARM, undefined references to `caml_compare_bigstring` and `caml_fill_bigstring`, is that a well-known issue?

19:31 <avsm> thats if youre using Core, most likely

19:31 <avsm> am compiling on arm right now btw

19:31 <avsm> to try out tcp

19:31 <avsm> finally back at home with access to one!

19:33 nojb has joined #mirage

19:34 brson has quit [Quit: leaving]

19:39 <magthe> avsm: oh, not using Core... only V1_LWT, Lwt, and Printf

19:40 <magthe> avsm: excellent to hear you are looking at the tcp on ARM stuff :)

19:41 <magthe> avsm: actually, Core isn't even installed

19:43 <avsm> oh oh, i wonder if that bigstring snuck into sexplib as a regression

19:43 <avsm> we'll have to wait quite some time to find out while the compilation proceeds :)

19:44 <magthe> here's the exact code I'm building... should be publically available: https://gitlab.com/magus/mirage-ping/blob/a6df523498665b3d0e58cd001cfef4cccb88d761/src/unikernel.ml

19:44 <avsm> ta

19:45 nojb has quit [Quit: nojb]

19:47 <magthe> I have to say I very much would welcome CI covering ARM as well as x86 ;)

19:51 <magthe> I'll send an email to the list too... just to not lose it

19:53 <avsm> yeah

19:53 <avsm> (on both counts)

19:54 <magthe> :)

19:54 mcclurmc has joined #mirage

19:54 magthe has quit [Quit: WeeChat 1.1.1]

19:57 andreas has quit [Ping timeout: 245 seconds]

20:05 mcclurmc has quit [Remote host closed the connection]

20:07 andreas has joined #mirage

20:31 andreas1 has joined #mirage

20:35 andreas has quit [Ping timeout: 252 seconds]

20:35 mort___ has quit [Quit: Leaving.]

20:39 nojb has joined #mirage

20:41 avsm has quit [Quit: Leaving.]

20:53 nojb has quit [Quit: nojb]

20:56 nojb has joined #mirage

21:06 nojb has quit [Quit: nojb]

21:08 nojb has joined #mirage

21:16 avsm has joined #mirage

21:29 mcclurmc has joined #mirage

21:54 jonludlam has joined #mirage

22:24 avsm has quit [Quit: Leaving.]

22:42 nojb has quit [Quit: nojb]

22:57 mcclurmc has quit [Remote host closed the connection]

22:58 mcclurmc has joined #mirage

23:10 mcclurmc has quit [Remote host closed the connection]

23:14 jonludlam has quit [Ping timeout: 264 seconds]

23:16 mcclurmc has joined #mirage

23:21 mcclurmc has quit [Ping timeout: 250 seconds]

23:26 jonludlam has joined #mirage

23:26 mcclurmc has joined #mirage

23:31 mcclurmc has quit [Ping timeout: 264 seconds]

23:49 jonludlam has quit [Ping timeout: 256 seconds]