avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has joined #mirage
cjab_ has joined #mirage
nullcat has joined #mirage
booyaa has quit [Ping timeout: 276 seconds]
booyaa has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #mirage
brson has quit [Quit: leaving]
x-ip has joined #mirage
x-ip has joined #mirage
cjab_ has quit [Quit: WeeChat 1.3]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
nordwp_home has joined #mirage
x-ip has quit [Ping timeout: 260 seconds]
x-ip has joined #mirage
x-ip has joined #mirage
x-ip has quit [Ping timeout: 250 seconds]
x-ip has joined #mirage
x-ip has quit [Ping timeout: 245 seconds]
x-ip has joined #mirage
x-ip has joined #mirage
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #mirage
nullcat has quit [Read error: Connection reset by peer]
nullcat has joined #mirage
nordwp_home has quit [Ping timeout: 260 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
x-ip has quit [Ping timeout: 260 seconds]
jonludlam has joined #mirage
tet is now known as crud
booyaa has quit [Ping timeout: 245 seconds]
booyaa has joined #mirage
andreas23 has joined #mirage
dsheets has joined #mirage
cr409 has quit [Ping timeout: 260 seconds]
cr409 has joined #mirage
cr409 has quit [Remote host closed the connection]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 260 seconds]
dsheets has joined #mirage
yomimono has joined #mirage
lobo has joined #mirage
lars_kurth has joined #mirage
jonludlam has quit [Ping timeout: 250 seconds]
vpm_ is now known as vpm
jonludlam has joined #mirage
yomimono has quit [Ping timeout: 250 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
nullcat has joined #mirage
nullcat has quit [Client Quit]
lars_kurth has quit [Ping timeout: 260 seconds]
jonludlam has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
lars_kurth has joined #mirage
lars_kurth has quit [Ping timeout: 260 seconds]
yomimono has joined #mirage
yomimono has quit [Client Quit]
brson has joined #mirage
brson has quit [Ping timeout: 250 seconds]
brson has joined #mirage
jonludlam has quit [Remote host closed the connection]
nullcat has joined #mirage
nullcat has quit [Client Quit]
lars_kurth has joined #mirage
lars_kurth has quit [Ping timeout: 250 seconds]
jakemask has joined #mirage
<jakemask> hi, I'm trying to set up a simple tcp/tls echo server, and as far as i can tell from examples (e.g. https://github.com/mirleft/tls-demo-server/blob/master/config.ml), I need to have 'entropy' in my config.ml, but when I do I get errors that it's an unrecognized variable. help?
<jakemask> it's complaining about unbound value entropy in this line: 'let handler = foreign "Unikernel.Main" (console @-> stackv4 @-> entropy @-> job)
<Drup> I think that's outdated.
<jakemask> makes sense
<Drup> it should be called nocrypto now
<Drup> (but wait for hannes' answer)
<jakemask> ah, it's been rolled into nocrypto?
nullcat has joined #mirage
<hannes> jakemask: which mirage do you use?
<hannes> passing entropy manually around was only in very early releases... the tls-demo-server is outdated (but I just opened today a PR to update to a more recent version :)
<hannes> jakemask: https://github.com/mirleft/ocaml-tls/tree/master/mirage/example is a more recent example
<Drup> hannes: why not put it in mirage-skeleton directly ?
<hannes> Drup: good idea. feel free to do so!
<jakemask> hannes: exactly what i needed. thanks!
<hannes> jakemask: out of curiousity, what are you working on?
<jakemask> landing lucky13 on ocaml-tls ;)
<hannes> ah. should be doable (as in, we don't have mitigation in place)
<jakemask> That's my hope
<jakemask> it's for a graduate class project, seemed doable enough in a couple weeks
<jakemask> and brings up an interesting bigger issue with high-level crypto implementations and timing side-channels in general
<hannes> jakemask: you're aware of http://arxiv.org/abs/1506.00189 ? :)
<jakemask> hadn't seeen it until now. will read. thanks!
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Meeh has joined #mirage
nullcat has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lars_kurth has joined #mirage
lars_kurth has quit [Ping timeout: 245 seconds]
nullcat has joined #mirage
jonludlam has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lars_kurth has joined #mirage
nullcat has joined #mirage
lars_kurth has quit [Ping timeout: 245 seconds]
nullcat has quit [Client Quit]
nullcat has joined #mirage
cebka has quit [Ping timeout: 240 seconds]
cebka has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]