avsm changed the topic of #mirage to: mirage 2 released! party on!
agarwal1975 has quit [Quit: agarwal1975]
brson has quit [Quit: leaving]
seangrove has quit [Ping timeout: 250 seconds]
copy` has quit [Quit: Connection closed for inactivity]
dexterph has joined #mirage
AltGr has joined #mirage
jermar has quit [Ping timeout: 240 seconds]
jermar has joined #mirage
<hannes> mato (+others): is the solo5-virtio supposed to work on a pure software qemu (without kvm, since it is a xen guest)? I seem to fail to use them (even if built and run on a linux machine), esp. block and stack examples from mirage-skeleton.
agarwal1975 has joined #mirage
<mato> hannes: They should work, though ISTR there was an issue with entropy / nocrypto using the AESNI instructions which QEMU does not emulate in the default CPU model.
<hannes> mato: these are without nocrypto..
<mato> hannes: Hmm. Does anything change if you add "-cpu Broadwell" to qemu args?
<mato> hannes: just testing now, so far console works fine with no special qemu args (qemu 2.6.0 on Debian)
<mato> hannes: as does stackv4....
<mato> hannes: is this built on linux or freebsd?
<mato> (and i'm using mirage-dev as my opam remote, not opam-solo5)
<hannes> mato: i was building on linux, and running on linux... will try again soon
seangrove has joined #mirage
strykerkkd has joined #mirage
copy` has joined #mirage
dexterph has quit [Ping timeout: 250 seconds]
dexterph has joined #mirage
brson has joined #mirage
jermar has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 240 seconds]
agarwal1975 has quit [Ping timeout: 240 seconds]
agarwal1975 has joined #mirage
seangrov` has joined #mirage
AltGr has left #mirage [#mirage]
seangrov` has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
dograt has quit [Ping timeout: 252 seconds]
dograt has joined #mirage
seangrove has joined #mirage
dexterph has quit [Ping timeout: 265 seconds]
agarwal1975 has quit [Quit: agarwal1975]
jermar has joined #mirage
strykerkkd has quit [Read error: Connection reset by peer]
jermar has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 250 seconds]