2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
01:36
yomimono has joined #mirage
01:39
miragebot has joined #mirage
01:39
<
miragebot >
mirage/master 3c6c10f Mindy Preston: fail if the user tries to build tracing with solo5 target
01:39
miragebot has left #mirage [#mirage]
01:39
<
miragebot >
mirage/master 79940b2 Mindy Preston: Merge pull request #657 from yomimono/no-tracing-on-solo5...
03:48
yomimono has quit [Ping timeout: 244 seconds]
04:09
_whitelogger has joined #mirage
05:23
jermar has quit [Ping timeout: 256 seconds]
06:08
noddy has quit [Ping timeout: 250 seconds]
06:12
_whitelogger has joined #mirage
06:21
noddy has joined #mirage
08:26
mort___ has joined #mirage
08:51
_whitelogger has joined #mirage
08:57
jermar has joined #mirage
09:49
mort___ has quit [Quit: Leaving.]
10:42
gjaldon has joined #mirage
11:11
gjaldon has quit []
11:50
mort___ has joined #mirage
12:02
mcclurmc has joined #mirage
13:19
mort___ has quit [Quit: Leaving.]
14:17
mort___ has joined #mirage
14:18
mort___ has quit [Client Quit]
14:23
mort___ has joined #mirage
14:32
mort___ has quit [Ping timeout: 260 seconds]
14:46
mato1 has joined #mirage
14:51
mato1 has quit [Quit: WeeChat 1.6]
14:56
mcclurmc has quit [Ping timeout: 250 seconds]
14:57
mcclurmc has joined #mirage
15:01
mcclurmc has quit [Ping timeout: 268 seconds]
15:14
mcclurmc has joined #mirage
15:19
mcclurmc has quit [Ping timeout: 250 seconds]
16:18
mcclurmc has joined #mirage
17:04
noddy has quit [Ping timeout: 256 seconds]
17:18
noddy has joined #mirage
17:40
<
rixed >
I have programs dying from out-of-memory after only 150Mb (as reported by GC.quick_stat's heap_words) although the XEN limit is much higher :( wouldn't that be great if out-of-memory condition displayed the memory map and ownership in the console?
18:21
mcclurmc has quit [Ping timeout: 244 seconds]
19:19
<
hannes >
rixed: it would be... pls report to mirage bugtracker :)
19:31
mcclurmc has joined #mirage
19:38
brson has joined #mirage
19:41
mcclurmc has quit [Ping timeout: 268 seconds]
20:48
mort___ has joined #mirage
21:29
jermar has quit [Ping timeout: 256 seconds]
23:34
mort___ has quit [Quit: Leaving.]