#mirage on 2014-10-21 — irc logs at freenode.irclog.whitequark.org

00:12 AltGr has joined #mirage

00:18 boogie has quit [Remote host closed the connection]

00:19 tlockney is now known as tlockney_away

00:32 manud has joined #mirage

00:56 manud has quit [Quit: manud]

01:03 manud has joined #mirage

01:08 manud has quit [Quit: manud]

01:26 manud has joined #mirage

01:28 mcclurmc_ has joined #mirage

01:31 manud has quit [Quit: manud]

01:32 mcclurmc has quit [Ping timeout: 255 seconds]

01:48 boogie has joined #mirage

01:59 manud has joined #mirage

02:51 yomimono has quit [Ping timeout: 240 seconds]

03:35 tlockney_away is now known as tlockney

04:08 boogie has quit [Remote host closed the connection]

04:09 manud has quit [Quit: manud]

04:35 piffio has quit [Ping timeout: 240 seconds]

04:40 boogie has joined #mirage

04:40 boogie has quit [Remote host closed the connection]

04:40 boogie has joined #mirage

04:58 mcclurmc_ has quit [Remote host closed the connection]

05:06 boogie has quit [Quit: Leaving...]

06:14 tlockney is now known as tlockney_away

06:39 hhugo has joined #mirage

07:44 hhugo has quit [Quit: Leaving.]

07:47 nojb has joined #mirage

08:12 djs55 has joined #mirage

08:17 djs55 has quit [Ping timeout: 272 seconds]

08:18 djs55 has joined #mirage

08:57 thomasga has joined #mirage

09:18 djs55 has quit [Quit: Leaving.]

09:51 piffio has joined #mirage

09:54 piffio has quit [Client Quit]

09:54 piffio has joined #mirage

10:05 dsheets has joined #mirage

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

10:20 nojb has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

10:38 djs551 has joined #mirage

11:07 tg has quit [Ping timeout: 240 seconds]

11:13 <piffio> hi guys, I'm was finally able to boot up a mirage unikernel http application on xenserver. is there a way to inspect memory usage on a mirageos instance?

11:18 nojb has joined #mirage

11:18 nojb has quit [Read error: Connection reset by peer]

11:21 <dsheets> piffio, <http://caml.inria.fr/pub/docs/manual-ocaml/libref/Gc.html> specifically heap_words

11:22 <piffio> thanks

11:25 thomasga has quit [Quit: Leaving.]

11:26 thomasga has joined #mirage

11:27 tg has joined #mirage

11:29 thomasga has quit [Client Quit]

11:33 djs551 has quit [Quit: Leaving.]

11:56 hhugo has joined #mirage

12:06 hhugo has quit [Quit: Leaving.]

12:12 hhugo has joined #mirage

12:35 djs55 has joined #mirage

12:44 djs551 has joined #mirage

12:44 djs55 has quit [Read error: Connection reset by peer]

12:44 djs551 has quit [Client Quit]

12:48 djs55 has joined #mirage

13:04 thomasga has joined #mirage

14:11 hhugo has quit [Quit: Leaving.]

14:17 djs55 has quit [Quit: Leaving.]

14:22 mcclurmc has joined #mirage

14:32 jonludlam has joined #mirage

15:04 thomasga has quit [Quit: Leaving.]

15:06 mcclurmc_ has joined #mirage

15:06 mcclurmc has quit [Ping timeout: 260 seconds]

15:14 mcclurmc has joined #mirage

15:17 mcclurmc_ has quit [Ping timeout: 272 seconds]

15:34 yomimono has joined #mirage

15:46 tlockney_away is now known as tlockney

16:38 tlockney is now known as tlockney_away

16:57 thomasga has joined #mirage

17:24 djs55 has joined #mirage

17:25 djs551 has joined #mirage

17:25 djs55 has quit [Read error: Connection reset by peer]

17:26 djs55 has joined #mirage

17:26 djs551 has quit [Read error: Connection reset by peer]

17:28 dsheets has quit [Ping timeout: 244 seconds]

17:47 yomimono has quit [Ping timeout: 250 seconds]

18:13 cebka has quit [Remote host closed the connection]

18:50 piffio has quit [Ping timeout: 255 seconds]

18:57 dsheets has joined #mirage

19:07 yomimono has joined #mirage

19:23 tlockney_away is now known as tlockney

20:01 thomasga has quit [Ping timeout: 265 seconds]

20:14 yomimono has quit [Ping timeout: 258 seconds]

20:31 piffio has joined #mirage

20:33 thomasga has joined #mirage

20:48 djs551 has joined #mirage

20:51 djs55 has quit [Ping timeout: 272 seconds]

20:53 thomasga has quit [Quit: Leaving.]

20:55 thomasga has joined #mirage

21:05 hhugo has joined #mirage

21:06 yomimono has joined #mirage

21:07 jonludlam has quit [Quit: Coyote finally caught me]

21:12 mcclurmc has quit [Ping timeout: 240 seconds]

21:12 mcclurmc has joined #mirage

21:15 mcclurmc has quit [Read error: Connection reset by peer]

21:15 mcclurmc has joined #mirage

21:18 mcclurmc_ has joined #mirage

21:19 mcclurmc has quit [Ping timeout: 246 seconds]

21:23 hhugo has quit [Quit: Leaving.]

21:31 mcclurmc has joined #mirage

21:33 mcclurmc_ has quit [Ping timeout: 250 seconds]

22:17 cebka has joined #mirage

22:26 djs551 has quit [Quit: Leaving.]

23:03 thomasga has quit [Read error: Connection reset by peer]

23:03 thomasga has joined #mirage

23:06 thomasga has quit [Client Quit]

23:06 yomimono has quit [Ping timeout: 245 seconds]

23:19 mcclurmc_ has joined #mirage

23:22 mcclurmc has quit [Ping timeout: 258 seconds]

23:22 mcclurmc has joined #mirage

23:26 mcclurmc_ has quit [Ping timeout: 250 seconds]

23:38 yomimono has joined #mirage

23:42 tlockney is now known as tlockney_away

23:53 piffio has quit [Ping timeout: 272 seconds]