avsm has joined #mirage
avsm has quit [Quit: Leaving.]
philtom has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
philtom has quit [Ping timeout: 240 seconds]
circus has joined #mirage
bsb has quit [*.net *.split]
dezzy has quit [*.net *.split]
dezzy has joined #mirage
philtor has joined #mirage
philtor has quit [Ping timeout: 244 seconds]
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
andreas2 has joined #mirage
andreas1 has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
avsm has quit [Client Quit]
rgrinberg1 has joined #mirage
mcclurmc_ has joined #mirage
vbmithr_ has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Ping timeout: 260 seconds]
vbmithr has quit [Ping timeout: 260 seconds]
mekaj_ has quit [Ping timeout: 250 seconds]
mekaj has joined #mirage
mekaj has quit [Ping timeout: 240 seconds]
dobson has quit [Ping timeout: 240 seconds]
dobson has joined #mirage
mekaj has joined #mirage
rgrinberg has joined #mirage
vbmithr has joined #mirage
vbmithr_ has quit [*.net *.split]
rgrinberg1 has quit [*.net *.split]
djs55 has joined #mirage
IbnFirnas has quit [Ping timeout: 530 seconds]
IbnFirnas has joined #mirage
mcclurmc has joined #mirage
mcclurmc_ has quit [Ping timeout: 244 seconds]
djs55 has quit [Ping timeout: 255 seconds]
djs55 has joined #mirage
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #mirage
dobson has quit [Ping timeout: 240 seconds]
dobson has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
djs55 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tg has quit [Ping timeout: 260 seconds]
Magnus2 has quit [Ping timeout: 260 seconds]
Magnus2 has joined #mirage
tg has joined #mirage
rgrinberg1 has joined #mirage
thomasga has quit [Quit: Leaving.]
rgrinberg has quit [*.net *.split]
thomasga has joined #mirage
yomimono has joined #mirage
yomimono has quit [Ping timeout: 255 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
djs55 has joined #mirage
<
hannes>
is there a (minimal) tcp/ip example to use as a xen guest (similar to console, which does I/O)?
<
hannes>
(mirage-tcpip/examples bails out for me ('unable to get domain type for domain'))
<
hannes>
(mirage-skeleton/static-website doesn't link due to missing -lssl -lcrypto -lpthread!?)
<
hannes>
aha. just found a mailthread from a month ago on mirageos which might help
<
hannes>
aha, got it...
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
djs55 has quit [Quit: Leaving.]
englishm has joined #mirage
englishm has quit [Client Quit]