<Drup>
yomimono: after a bit of clean up, I get a "Fatal error: exception Invalid_argument("tls/server.pem")". There is no mention of this tls/ directory anywhere. Is this just mandatory to put the keys in this directory ?
<yomimono>
drup: yes. mirage-seal itself provides some command-line arguments to change this location IIRC, but if you're manipulating dispatch.ml it'll be hard-set by then
<Drup>
hum, ok
<Drup>
where is that set ?
<Drup>
in the tls library ?
<yomimono>
it's actually in the static config.ml alongside dispatch.ml
<Drup>
I changed that
<yomimono>
Hm. I would've expected that to work
<Drup>
I have no mention of a "tls" directory anywhere in config.ml or dispatch.ml
<yomimono>
hm, I'm digging around in mirage-seal
<Drup>
I don't think it's mirage-seal, as I don't use it
<Drup>
I just grabbed the file in static/ and fiddled with that
<yomimono>
can you pastebin what you have?
<yomimono>
I suspect some optional-with-default argument somewhere in the conduit/tls functor spaghetti
<Drup>
ok, if I put the keys inside a tls argument, it works
<Drup>
a tls directory
seangrove has joined #mirage
<Drup>
maybe the function Tls_mirage.X509.certificates ?
<yomimono>
good question; if you don't have the http stack I'm not sure how the redirect would get served
<Drup>
that's what I though too
nullca___ has joined #mirage
nullcat_ has quit [Ping timeout: 246 seconds]
tlockney is now known as tlockney_away
MrScout has joined #mirage
mort___ has quit [Ping timeout: 246 seconds]
nullcat__ has joined #mirage
nullca___ has quit [Ping timeout: 246 seconds]
tlockney_away is now known as tlockney
nullcat has joined #mirage
<Drup>
yomimono: I commited this https://gist.github.com/anonymous/314800b6bbfd310cb54e I have pretty much no idea if it's the right way to do it and I feel like there is far too much boilerplate in it that should be externalized
nullcat__ has quit [Ping timeout: 256 seconds]
MrScout has quit [Remote host closed the connection]
<yomimono>
sorry drup, was afk and didn't see your message
MrScout has joined #mirage
justincormack has joined #mirage
<yomimono>
drup: the fact that big chunks of dispatch.ml and config.ml just get copied around between people/projects doing web unikernel stuff is a big part of why I was excited about mirage-seal
cebka_ has joined #mirage
MrScout has quit [Remote host closed the connection]
mort___ has joined #mirage
MrScout has joined #mirage
mcclurmc has joined #mirage
jonludlam has quit [*.net *.split]
yomimono has quit [*.net *.split]
lupine has quit [*.net *.split]
seako has quit [*.net *.split]
cojy has quit [*.net *.split]
andreas has quit [*.net *.split]
cebka has quit [*.net *.split]
mariusae has quit [*.net *.split]
lupine has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
MrScout has quit [Remote host closed the connection]
ronny has joined #mirage
<ronny>
hi
<ronny>
is this the official channel for the unikernel thing?
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
<mort___>
hi! it's the official channel for MirageOS unikernels specifically. (though some people here have experience with others too :)
<ronny>
can mirage kernels be made to interact on a linux userspace as well?
<ronny>
(opening socket files and so on)
tlockney is now known as tlockney_away
avsm has joined #mirage
dsheets has quit [Ping timeout: 265 seconds]
tlockney_away is now known as tlockney
_longines has joined #mirage
jonludlam has joined #mirage
andreas has joined #mirage
cojy has joined #mirage
mariusae has joined #mirage
seako has joined #mirage
dsheets has joined #mirage
<justincormack>
ronny you can use tcp sockets; in theory you could add unix sockets but it would not be compatible with xen unikernels