manud has joined #mirage
nojb has quit [Ping timeout: 260 seconds]
brson has quit [Quit: leaving]
brson has joined #mirage
brson has quit [Quit: leaving]
brson has joined #mirage
manud has quit [Ping timeout: 260 seconds]
brson has quit [Quit: leaving]
yomimono has joined #mirage
AltGr has joined #mirage
yomimono has quit [Ping timeout: 272 seconds]
kdef has joined #mirage
manud has joined #mirage
manud has quit [Ping timeout: 245 seconds]
smondet has quit [Ping timeout: 272 seconds]
seangrove has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
smondet has joined #mirage
tlockney_away is now known as tlockney
kdef has quit [Quit: peace]
tlockney is now known as tlockney_away
hhugo1 has joined #mirage
hhugo1 has quit [Quit: Leaving.]
jonludlam has joined #mirage
tty57 has joined #mirage
nojb has joined #mirage
AltGr has left #mirage [#mirage]
andreas has joined #mirage
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
djs55 has joined #mirage
tty57 has joined #mirage
nojb has quit [Ping timeout: 258 seconds]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tty57 has joined #mirage
fmu has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
mekaj has quit [*.net *.split]
tlockney_away has joined #mirage
tlockney_away is now known as tlockney
fmu has joined #mirage
mekaj has joined #mirage
nojb has joined #mirage
yomimono has joined #mirage
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tty57 has joined #mirage
yomimono has quit [Ping timeout: 272 seconds]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tty57 has joined #mirage
brson has joined #mirage
avsm has joined #mirage
nojb has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
nojb has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
nojb has left #mirage [#mirage]
nojb has joined #mirage
nojb has quit [Client Quit]
nojb has joined #mirage
jimmyjones_thorn has joined #mirage
nojb has left #mirage [#mirage]
<jimmyjones_thorn> Hey everyone, I've been trying out some Mirage skeletons and it looks very promising. I'm currently testing on Qubes, which works quite well. Has anyone considered tighter integration of Mirage + Qubes? It seems to me that this is a match made in heaven: disposable, stateless Mirage unikernels can narrow the attack surface of 'traditional' AppVM
<jimmyjones_thorn> s and due to their small footprint, can be deployed extensively throughout the system.
nojb has joined #mirage
<avsm> jimmyjones_thorn: yep, but noone's actively working on it. reports of success or failure most welcome on mirageos-devel@lists.xenproject.org
<jimmyjones_thorn> I see.
<jimmyjones_thorn> I have a few ideas for how these two projects can be integrated, but I don't have much time to work on it (as with everyone else, presumably).
nojb has left #mirage [#mirage]
nojb has joined #mirage
<jimmyjones_thorn> If I get anything working 'manually' to prove the concept, though, I'll post to the list.
<avsm> absolutely; would be met with interest, no matter how manual
<jimmyjones_thorn> Cool, nice to hear. I'll play around with it for a few weeks at least, so don't expect anything groundbreaking tomorrow ;)
<jimmyjones_thorn> Part of that is that I am new to OCaml (though I have done some minor stuff in SML a few years back and am familiar with FP), so if anyone has any good tutorial suggestions other than "Real World OCaml", I'm all ears.
<jimmyjones_thorn> Actually, clicking that link brings up a major sticking point I see with integrating Mirage and Qubes--and more generally, just for any use of Mirage
<jimmyjones_thorn> As far as I can tell, Mirage OS's security infrastructure is abysmal
<jimmyjones_thorn> There are no signed packages, OPAM updates build your unikernel (gotta hope that hopelessly-broken TLS works!), and no clear statement of what components actually must be trusted
brson has quit [Quit: leaving]
brson has joined #mirage
brson has quit [Client Quit]
brson has joined #mirage
brson has quit [Client Quit]
<jimmyjones_thorn> (and also, getting OCaml and OPAM set up on Fedora 20 was an adventure, though this is not Mirage's problem, per se)
brson has joined #mirage
nojb has left #mirage [#mirage]
nojb has joined #mirage
dsheets has joined #mirage
<avsm> jimmyjones_thorn: signing is something thats on on the roadmap post OPAM 1.2: https://github.com/ocaml/opam/issues/423
<avsm> jimmyjones_thorn: re Fedora 20, binary RPMs are available from http://software.opensuse.org/download.html?project=home%3Aocaml&package=ocaml
<jimmyjones_thorn> Oh thanks, I never found references to that repo in my Google-fu
<jimmyjones_thorn> And I didn't see this issue in the tracker ;)
<avsm> bug reports about missing hints in the documentation are also welcome :-)
<jimmyjones_thorn> I'll try to document everything from now on so I can reference any hiccups later
<avsm> that'd be very helpful!
<jimmyjones_thorn> But bug report #1: Mirage / OPAM install guides should also suggest that Fedora repo for Fedora folks :)
nojb has quit [Client Quit]
<jimmyjones_thorn> Anyway, I have to leave now, but I will continue my exploration and check back sometime later if I make any progress
<jimmyjones_thorn> Thanks!
<avsm> enjoy!
nojb has joined #mirage
jimmyjones_thorn has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<hannes> hmm, opam signing..
* hannes just glanced through various SMTP related rfcs..
<avsm> see signify in openbsd.
<hannes> yes, sure.
<hannes> but now that I have x509 everything looks like x500 ;)
<avsm> you need corrective glasses ;)
<avsm> ASN.1 goggles
* avsm pushes mirage patches for vchan and conduit
<hannes> oh, and its really good to have ted, who does ressl, which is much smaller to target (API footprint is so small compared to openssl)
andreas has quit [Ping timeout: 246 seconds]
tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nojb has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
seangrove has joined #mirage
mort___ has joined #mirage
dsheets has quit [Ping timeout: 258 seconds]
yomimono has joined #mirage
nojb has joined #mirage
nojb has quit [Quit: nojb]
dsheets has joined #mirage
nojb has joined #mirage
nojb has quit [Quit: nojb]
yomimono has quit [Ping timeout: 258 seconds]
djs55 has joined #mirage
manud has joined #mirage
nojb has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
manud has quit [Quit: manud]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 260 seconds]
manud has joined #mirage
djs55 has quit [Quit: Leaving.]
hhugo1 has joined #mirage
hhugo1 has quit [Quit: Leaving.]
hhugo1 has joined #mirage
hhugo1 has quit [Quit: Leaving.]
nojb has quit [Quit: nojb]
nojb has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
manud has quit [Quit: manud]
mort___ has quit [Quit: Leaving.]
tlockney is now known as tlockney_away