tlockney is now known as tlockney_away
philtor has joined #mirage
philtor has quit [Ping timeout: 255 seconds]
thomasga has joined #mirage
AltGr has joined #mirage
djs55 has joined #mirage
djs55 has quit [Read error: Connection reset by peer]
djs55 has joined #mirage
jludlam has joined #mirage
jludlam is now known as jonludlam
avsm has joined #mirage
<avsm> noddy: hannes: lost net acess this morning, but deploying new vms now
<avsm> first, irage 1.2
miragebot has joined #mirage
<miragebot> [mirage] avsm pushed 1 new commit to master: http://git.io/2gzjPw
miragebot has left #mirage [#mirage]
<miragebot> mirage/master fc8d2c3 Anil Madhavapeddy: Merge pull request #262 from mirage/new-entropy-sig...
miragebot has joined #mirage
<miragebot> [mirage] avsm pushed 1 new commit to master: http://git.io/68UmTg
miragebot has left #mirage [#mirage]
<miragebot> mirage/master d86067c Anil Madhavapeddy: Release 1.2.0
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] avsm tagged v1.2.0 at master: http://git.io/aET51A
avsm has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
thomasga has quit [Quit: Leaving.]
agarwal1975 has joined #mirage
thomasga has joined #mirage
_whitelogger_ has joined #mirage
jerith_ is now known as jerith
tizoc has joined #mirage
<vbmithr> Hi
<vbmithr> listen to or listen at ?
<vbmithr> some ppl say listen at, is it correct in english ?
avsm has joined #mirage
<avsm> noddy: there?
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<djs55> vbmithr: listen to (someone, something)
<avsm> djs55: rackspace uses a java vnc console server that looks familiar...
<djs55> ooooooh
<djs55> bet the keymaps are dodgy
philtor_ has joined #mirage
mcclurmc has joined #mirage
<avsm> noddy: attempting to clone the VMs
<avsm> noddy: they're not coming up cleanly for some reason
<smondet> Hi Cambridge! Did you post somewhere the content of the ML 2014 paper? (“Metaprogramming with ML modules in the MirageOS”)
<noddy> avsm: here.
<noddy> avsm: got an error msg?
<vbmithr> djs55: thanks
<avsm> smondet: nope, it was a bit incoherent (just an abstract, not paper) — will tidy it up shortly
<avsm> it's basically about the @-> combinator in mirage.ml :-)
<avsm> noddy: ebugging, it's a rackspace issue (but this is generally why copying root fs isnt great; scripting the changes much easier)
tlockney_away is now known as tlockney
<noddy> avsm: i knoooow, was a little lazy. :/ will grab a lunch, leave msgs here if you need my intervention.
<avsm> noddy: it's nbd for this one; good excuse to sort out irmin for future tracing tho
<smondet> avsm: ok, thanks!
tlockney is now known as tlockney_away
<avsm> djs55: can i log xenconsole somehow?
<avsm> the gues toutput
tlockney_away is now known as tlockney
yomimono has joined #mirage
thomasga has quit [Quit: Leaving.]
<djs55> I think the commandline args may be useful: [--log=none|guest|hv|all] [--log-dir=DIR]
<djs55> IIRC xenrt uses a custom patched xenconsoled, but this is probably redundant
<djs55> however xenconsoled is very old and crusty
AltGr has left #mirage [#mirage]
<djs55> avsm: at least it doesn't kill your machine to restart it (unlike xenstored)
tlockney is now known as tlockney_away
<avsm> djs55: just `tee`ing xl create, less hassle
<avsm> almost there with mirage-platform-arm, just needs a soft-float ocaml
<djs55> soft float would be good. I keep seeing (minor) uses of floats all over the place
philtor has joined #mirage
tlockney_away is now known as tlockney
<yomimono> avsm: should I just redo mirage-tcpip PR #57 with polymorphic variants? I liked exceptions because it's less code to touch but polymorphic variant lets us be honest about the possibility of failure
<avsm> yomimono: the issue is that they cause an allocation
<avsm> in this case, i think exceptions are fine since it's a geniunely exceptional condition
<avsm> we don't expect that be to raised in the normal course of events
<avsm> unlike some other `Error types which can happen and are recoverable
<yomimono> avsm: OK, in that case I'll just push my totally rad search-and-replace commit
<avsm> refactoring, the fancy word is refactoring :-)
yastero_ is now known as yastero
<yomimono> :)
* avsm is a little worried at his little ARM board recompiling mirage kernels in the searing heat
<avsm> noddy: if you have a moment, could you improve the descr files for the x509/tls/asn1 packages?
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
avsm has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 255 seconds]
tlockney is now known as tlockney_away
<hannes> morning
<djs55> 12 hours out of sync… hawaii?
<hannes> I thought in IRC it is always morning ;)
thomasga has quit [Quit: Leaving.]
philtor_ has joined #mirage
thomasga has joined #mirage
<vbmithr> I was wondering too
philtor_ has quit [Ping timeout: 256 seconds]
avsm has joined #mirage
<hannes> avsm: thanks for merges + cleanups to opam's
<avsm> hannes: np, entropy is looking very nice now. if the rng is extracted later i can make the tcp stack depend on it too
* avsm is just debugging a xen/arm crash and then should have mirage-www running shortly on it :)
<hannes> avsm: about the entropy... I updated the mirage-entropy PRs.. travis is happy now (it still runs parts on macosx)
<avsm> hannes: just pushed a fix restricting to 4.01 too
<avsm> aha excellent
<hannes> avsm: I pushed that fix..
<avsm> for opam 1.2?
<hannes> oh, ok. didn't know that.
<avsm> just checking; i removed them to be consistent
<hannes> avsm: then you might like https://github.com/ocaml/opam-repository/pull/2333
<avsm> hannes: argh hang on, too many pulls :)
<avsm> i've got #2331 in my working merge branch, so i'll put that in first
yomimono has quit [Ping timeout: 240 seconds]
<avsm> (i've got reverse bulk builds running off these too)
<hannes> avsm: yours has mirage-entropy removal, mine (2333) has tls/x509/asn1/nocrypto version and name removal.
<avsm> ack; will merge it right after the other one
<avsm> docker is such a pain; keeps running out of space due to lack of intermediate container gc
<hannes> if we push the blogpost tomorrow, will there be more than one vm in rr for tls.om?
* hannes is a bit worried due to no clue what load that thing can handle..
dbuenzli has joined #mirage
<dbuenzli> Merry christmas
<dbuenzli> hannes can’t you test that with e.g. ab ?
dbuenzli has left #mirage [#mirage]
dbuenzli has joined #mirage
<avsm> hannes: am attempting to clone the VM, but something is preventing the root from coming up
<hannes> avsm: yeah, just read on backlog... well, now that everything is in opam, it shouldn't be too hard to script... one pin to demo-random branch of tls, getting daemontools up and running.. that should do it (but my brain is not fit enough for that today)
<avsm> hannes: yeah, will leave multiple cloned vms running with the same keys as the main one, if i cant figure it out
<avsm> not much debugging on rackspace
<noddy> avsm: do you have *any* output from those machines?
<hannes> avsm: cloned machines sounds also very ok
<avsm> sort of, java console
<noddy> and? what does it say?
tlockney_away is now known as tlockney
<avsm> no getty, long story. i'm going to clone fresh vms
tlockney is now known as tlockney_away
<avsm> can someone knock up a script so provisioning new servers is fairly fast?
tlockney_away is now known as tlockney
<hannes> sth similar to https://gist.github.com/hannesm/5736032fbd9866aa90b0 (noddy, comments?)
<noddy> hannes: ouch. it takes a bit more. getting opam from git, compiler switch. packaging up daemontools config-dirs.
philtor_ has joined #mirage
<avsm> noddy: oh, i can upgrade to testing so you can grab opam and ocaml 4.01 directly
<avsm> hannes: i'm destroying the freebsd tls1
<avsm> ok?
<hannes> ack
thomasga has quit [Ping timeout: 240 seconds]
<avsm> noddy: hannes: tls1/tls2/tls3/tls4 openmirage.org are all setup now with your keys, running debian testing (so opam and ocaml should be 4.01 and not need a switch)
<avsm> all yours
<avsm> host tls.openmirage.org
<avsm> tls.openmirage.org has address 192.237.173.208
<avsm> tls.openmirage.org has address 192.237.180.206
<avsm> tls.openmirage.org has address 192.237.176.100
<avsm> tls.openmirage.org has address 23.253.164.126
<avsm> tls.openmirage.org has address 192.237.176.142
<avsm> tls.openmirage.org mail is handled by 5 mx-caprica.easydns.com.
<avsm> that now load balances
<noddy> avsm: you mean, they are _blank_? :D
* noddy puts on the sysadmin lederhosen
<avsm> go forth and apt-get :P
<noddy> yarrrr
<avsm> cant leave those all running for too long, a few weeks
<avsm> soon we should have it self-scaling anyway
<noddy> np we have centralized log-aggregation and management anyway oh wait
philtor_ has quit [Ping timeout: 248 seconds]
<noddy> anyone knows how to use salt or one of the ruby things?
* hannes knows waiting for travis on https://github.com/ocaml/opam-repository/pull/2331 would make the opam thingy easier for noddy
<hannes> but unfortunately /me needs sleep. I can work from 6:30 - 8:30 am tomorrow on polishing
<avsm> hannes: noddy: merged into opam
<noddy> > avsm closed this 17 seconds ago
<avsm> i just needed to check one of the runs in a restart, rest succeeded before
<hannes> see, I really need sleep... latency
<avsm> nn! me to
<avsm> *too
<hannes> noddy: just drop me whereever a message about status if sth needs to be done later
<noddy> the night is still young..
<noddy> "listen to them, the children of the night. what sweet music they make!"
djs55 has quit [Quit: Leaving.]
agarwal1975 has quit [Quit: agarwal1975]
avsm has quit [Quit: Leaving.]
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 240 seconds]
jonludlam has quit [Remote host closed the connection]
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 248 seconds]