2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
00:37
dograt has quit [Quit: No Ping reply in 180 seconds.]
00:41
dograt has joined #mirage
00:45
seangrove has joined #mirage
00:49
seangrove has quit [Ping timeout: 244 seconds]
01:00
brson has quit [Ping timeout: 264 seconds]
02:46
seangrove has joined #mirage
02:53
seangrove has quit [Ping timeout: 276 seconds]
04:19
seangrove has joined #mirage
04:22
seangrove has quit [Remote host closed the connection]
04:23
seangrov` has joined #mirage
04:35
seangrov` has quit [Ping timeout: 276 seconds]
04:40
seangrov` has joined #mirage
04:52
seangrov` has quit [Ping timeout: 252 seconds]
05:06
seangrov` has joined #mirage
05:13
seangrov` has quit [Ping timeout: 240 seconds]
05:15
apache2 has quit [Remote host closed the connection]
05:15
apache2 has joined #mirage
06:08
jermar has joined #mirage
06:54
copy` has quit [Quit: Connection closed for inactivity]
07:12
jermar has quit [Ping timeout: 240 seconds]
07:35
AltGr has joined #mirage
07:47
dexterph has joined #mirage
08:03
mort___ has joined #mirage
08:03
mort___ has quit [Client Quit]
08:41
miragebot has joined #mirage
08:41
<
miragebot >
mirage/master da12001 Martin Lucina: Merge pull request #577 from mato/remove-extra-ukvm...
08:41
miragebot has left #mirage [#mirage]
08:41
<
miragebot >
mirage/master 3c0ca68 Martin Lucina: Remove extraneous solo5-kernel-ukvm from configure_makefile...
09:04
jermar has joined #mirage
09:44
miragebot has joined #mirage
09:44
<
miragebot >
mirage/master 0a93185 Martin Lucina: ukvm target: Correct use of "blk" for block module...
09:44
<
miragebot >
mirage/master 0b27661 Hannes Mehnert: Merge pull request #576 from mato/solo5-ukvm-fix-block...
09:44
miragebot has left #mirage [#mirage]
10:18
<
mato >
hannes: should I add all the Solo5 dev packages to mirage-dev while I'm at it? (mirage-*-solo5)
10:20
<
mato >
hannes: or is the intent with mirage-dev to just have a minimal set of packages in it?
10:20
<
hannes >
mato: my approach to mirage-dev is to have a minimal set of packages, only those really needed (due to API changes etc.), not those available from opam-repository
10:22
<
mato >
hannes: ok, i'll add in solo5-kernel-* and ocaml-freestanding for now, just so that we can easily experiment with low-level changes
10:22
<
mato >
(for freebsd/virtio)
10:37
<
mato >
I don't think it's anything related to the renumbering itself...
10:39
<
hannes >
it is failing for the most recent commit to master as well with the same error...
10:41
<
mato >
where's that failure? (is there a mirage CI dashboard somewhere...?)
10:43
<
hannes >
not sure about a dashboard... navigating via github.com/mirage/mirage-dev -> branches -> X next to master
10:45
<
mato >
ok, in that case I'll just merge #129 with a comment that Travis is already failing on master
11:59
<
hannes >
mato: I fixed CI in #130, just merged to master
12:38
srenatus[m] has quit [Remote host closed the connection]
13:12
agarwal1975 has joined #mirage
13:19
agarwal1975 has quit [Quit: agarwal1975]
13:20
srenatus[m] has joined #mirage
13:21
agarwal1975 has joined #mirage
13:43
mort___ has joined #mirage
14:05
brson has joined #mirage
14:06
brson_ has joined #mirage
14:06
brson_ has quit [Client Quit]
14:06
brson_ has joined #mirage
14:10
brson has quit [Ping timeout: 258 seconds]
14:11
brson_ has quit [Ping timeout: 250 seconds]
14:13
brson has joined #mirage
14:13
brson has quit [Client Quit]
14:14
brson has joined #mirage
14:18
brson has quit [Ping timeout: 250 seconds]
14:19
brson has joined #mirage
14:41
mort___ has quit [Quit: Leaving.]
14:42
mort___ has joined #mirage
14:46
mort___ has quit [Client Quit]
15:21
dexterph has quit [Ping timeout: 250 seconds]
16:20
brson_ has joined #mirage
16:23
brson has quit [Ping timeout: 258 seconds]
16:29
jermar has quit [Ping timeout: 240 seconds]
16:48
brson_ has quit [Quit: leaving]
16:48
brson has joined #mirage
17:05
AltGr has left #mirage [#mirage]
17:17
dexterph has joined #mirage
17:40
jermar has joined #mirage
17:58
copy` has joined #mirage
18:08
brson has quit [Quit: leaving]
18:09
brson has joined #mirage
19:27
brson has quit [Ping timeout: 276 seconds]
20:12
brson has joined #mirage
21:26
brson has quit [Ping timeout: 276 seconds]
22:30
brson has joined #mirage
22:36
agarwal1975 has quit [Ping timeout: 250 seconds]
22:49
brson has quit [Quit: leaving]
22:49
brson has joined #mirage
22:49
brson has quit [Client Quit]
22:49
brson has joined #mirage
22:59
brson has quit [Quit: leaving]
23:05
brson_ has joined #mirage
23:09
brson_ has quit [Client Quit]
23:09
brson has joined #mirage
23:21
brson has quit [Ping timeout: 258 seconds]
23:23
brson has joined #mirage
23:29
dexterph has quit [Ping timeout: 250 seconds]
23:45
brson has quit [Quit: leaving]
23:45
brson has joined #mirage