#mirage on 2015-05-20 — 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:31 kdef has quit [Quit: Leaving]

00:32 avsm has quit [Quit: Leaving.]

00:33 justincormack has joined #mirage

01:00 AltGr has joined #mirage

01:38 rgrinberg has quit [Ping timeout: 276 seconds]

01:40 MrScout has quit [Ping timeout: 265 seconds]

01:41 rgrinberg has joined #mirage

02:06 nullcat_ has joined #mirage

05:12 rgrinberg has quit [Ping timeout: 250 seconds]

06:08 rgrinberg has joined #mirage

06:14 rgrinberg has quit [Ping timeout: 246 seconds]

06:59 wildsebastian has joined #mirage

07:10 rgrinberg has joined #mirage

07:15 rgrinberg has quit [Ping timeout: 255 seconds]

07:20 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

07:21 jonludlam has quit [Ping timeout: 252 seconds]

08:11 rgrinberg has joined #mirage

08:16 rgrinberg has quit [Ping timeout: 272 seconds]

09:05 m__ has joined #mirage

09:05 <justincormack> how does editing the mirage wiki work?

09:07 jonludlam has joined #mirage

09:11 rgrinberg has joined #mirage

09:13 <mato> is there any way to escape " in opam strings?

09:13 <mato> tried \" and "", neither seem to work

09:16 rgrinberg has quit [Ping timeout: 240 seconds]

09:16 <mato> err, typo, sorry, \" does indeed work.

09:33 yomimono has joined #mirage

09:37 dsheets has joined #mirage

09:57 andreas1 has quit [Quit: Leaving.]

10:07 jonludlam has quit [Ping timeout: 250 seconds]

10:09 <AltGr> Escaping has been broken in older version, but it should be fine now

10:10 <AltGr> See https://opam.ocaml.org/doc/Manual.html#Generalsyntax

10:10 jonludlam has joined #mirage

10:12 rgrinberg has joined #mirage

10:17 rgrinberg has quit [Ping timeout: 250 seconds]

10:21 AltGr has left #mirage [#mirage]

11:13 rgrinberg has joined #mirage

11:18 rgrinberg has quit [Ping timeout: 252 seconds]

11:28 andreas1 has joined #mirage

12:14 rgrinberg has joined #mirage

12:19 rgrinberg has quit [Ping timeout: 264 seconds]

13:05 amirmc has joined #mirage

13:14 rgrinberg has joined #mirage

13:20 rgrinberg has quit [Ping timeout: 264 seconds]

14:01 amirmc has quit [Quit: Leaving.]

14:15 rgrinberg has joined #mirage

14:21 rgrinberg has quit [Ping timeout: 272 seconds]

14:26 amirmc has joined #mirage

14:41 <j_king> would be nice to have a mirage virtual router appliance for openstack networking a-la akanda.io; booting a VM is so slow.

14:48 larhat1 has joined #mirage

14:53 <amirmc> Anyone seem djs55?

14:54 larhat1 has quit [Quit: Leaving.]

14:57 <amirmc> he just texted me. should be ok

14:58 thomasga has joined #mirage

15:13 rgrinberg has joined #mirage

15:20 wildsebastian has quit [Ping timeout: 250 seconds]

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

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

15:43 rgrinberg has quit [Ping timeout: 272 seconds]

15:51 rgrinberg has joined #mirage

15:59 magthe has joined #mirage

16:01 <magthe> thomasga: no further ideas of how to get camlp4o to not segfault on the cubie? ;)

16:01 <thomasga> do you still have an issue?

16:01 <magthe> yupp, now failing on server.ml though

16:01 <thomasga> err

16:02 <magthe> and I think it has to be passed through camlp4, right?

16:02 <jonludlam> which server.ml are you talking about?

16:02 <magthe> jonludlam: the one in mirage-decks

16:02 wildsebastian has joined #mirage

16:02 <jonludlam> phew

16:02 <thomasga> actually server.ml is easy to fix

16:03 <magthe> ah?

16:03 <thomasga> err, sending patches over IRC is not a good idea, sorry

16:03 <thomasga> I'll reply to your email

16:03 <thomasga> but I think you'll have other problems with the next files ...

16:04 <magthe> oki... then I can try to get my presentation about mirage-on-arm to actually run on arm... maybe :)

16:04 <thomasga> but that's weird that you have that problem

16:04 <thomasga> did you tweak the memory configuration

16:04 <magthe> thomasga: what kind of tweaking are you talking about?

16:04 <thomasga> or the swap files or others? it seems to work fine on my cubi

16:05 <thomasga> ulimit maybe?

16:05 <magthe> I have the standard 512M RAM, and added 2G swap (there was none to begin)

16:06 <thomasga> that's weird

16:07 <thomasga> which compiler version do you have?

16:07 magthe has quit [Quit: WeeChat 1.2]

16:08 magthe has joined #mirage

16:09 <magthe> thomasga: ulimit returns "unlimited"

16:10 <magthe> how would I go about increasing the memory of dom0? (my xe memory is severely damaged :)

16:10 rgrinberg has quit [Ping timeout: 250 seconds]

16:13 kdef has joined #mirage

16:19 magthe has quit [Quit: WeeChat 1.2]

16:41 seako has joined #mirage

16:46 nullcat_ has joined #mirage

16:46 magthe has joined #mirage

16:49 jonludlam has quit [Ping timeout: 258 seconds]

16:57 <magthe> thomasga: I'll have to give up for now :(

16:57 <magthe> thanks for the help

16:57 <thomasga> sorry don't have much time to help you now :-(

16:58 <magthe> no worries

16:59 <magthe> I just hope it isn't damaged memory... something I have to look into finding out too

17:00 <thomasga> magthe: also are you using a switch? how did you install camlp4? the str.cma error seems a bit worrying

17:01 <thomasga> eval `opam config env` maybe? or reinstall camlp4?

17:01 <magthe> hmm, yes, using a network switch

17:01 <thomasga> I meant an opam switch :-)

17:02 <magthe> haha, yes, using 4.02.1 at the moment

17:03 <magthe> but should that really have an impact?

17:06 <magthe> I'll make an attempt to go back to the system version later on (I think that 4.01 or something)

17:06 rgrinberg has joined #mirage

17:07 brson has joined #mirage

17:11 rgrinberg has quit [Ping timeout: 250 seconds]

17:12 rgrinberg has joined #mirage

17:16 dsheets has quit [Ping timeout: 272 seconds]

17:19 yomimono has quit [Ping timeout: 240 seconds]

17:20 magthe has quit [Ping timeout: 256 seconds]

17:22 rgrinberg has quit [Quit: WeeChat 1.1.1]

17:29 kdef has quit [Ping timeout: 272 seconds]

17:34 kdef has joined #mirage

17:38 jonludlam has joined #mirage

17:44 m__ has quit [Ping timeout: 246 seconds]

17:46 thomasga1 has joined #mirage

17:48 jonludlam has quit [Ping timeout: 256 seconds]

17:48 thomasga has quit [Ping timeout: 256 seconds]

18:13 MrScout has joined #mirage

18:16 NhanH has quit []

18:17 NhanH has joined #mirage

18:28 thomasga1 has quit [Quit: Leaving.]

18:55 cojy_ has quit []

18:55 cojy_ has joined #mirage

18:59 jonludlam has joined #mirage

18:59 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

19:00 mort___ has joined #mirage

19:17 nullcat has joined #mirage

19:34 justincormack has quit [Ping timeout: 256 seconds]

20:02 kdef has quit [Ping timeout: 255 seconds]

20:11 andreas2 has joined #mirage

20:16 andreas1 has quit [Ping timeout: 276 seconds]

20:16 kdef has joined #mirage

20:38 tinhead has joined #mirage

20:50 kdef has quit [Ping timeout: 256 seconds]

21:02 kdef has joined #mirage

21:07 justincormack has joined #mirage

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

21:23 larhat1 has joined #mirage

21:33 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

21:49 wildsebastian has quit [Remote host closed the connection]

21:50 thomasga has joined #mirage

22:03 larhat1 has quit [Quit: Leaving.]

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

22:08 dsheets has joined #mirage

22:13 MrScout has quit [Read error: Connection reset by peer]

22:14 MrScout has joined #mirage

22:39 mcclurmc has joined #mirage

22:47 andreas2 has quit [Ping timeout: 256 seconds]

23:20 andreas1 has joined #mirage

23:29 tinhead has quit [Remote host closed the connection]

23:51 thomasga has quit [Quit: Leaving.]

23:51 kdef has quit [Quit: Leaving]

23:57 AltGr has joined #mirage