hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: June 1st) - next call May 16th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
zmzm has joined #mirage
pagurus has quit [Ping timeout: 240 seconds]
pagurus has joined #mirage
Haudegen has joined #mirage
andreas23 has quit [Ping timeout: 255 seconds]
zmzm has quit [Quit: zmzm]
andreas23 has joined #mirage
mort___ has joined #mirage
mort___ has quit [Ping timeout: 255 seconds]
mort___ has joined #mirage
lars_kurth has quit [Read error: Connection reset by peer]
lars_kurth_ has joined #mirage
mato has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
argent_smith has joined #mirage
Haudegen has joined #mirage
hnrgrgr has quit [Read error: Connection reset by peer]
<bramford> While not specifically related to MirageOS - I'm struggling to debug this issue with the `tls` library - https://gist.github.com/bramford/93212ddff807bc131d1562197f5f2d01
<bramford> The above works when using the `ssl` library but given this code is intended to be part of a mirage unikernel, that's not an option.
<ansiwen> What is the right way to specify the DNS server if I don't use DHCP but a static IP configuration? I don't find an example for this, surprisingly...
<bramford> ansiwen: The `http-fetch` example shows the use of a custom resolver - https://github.com/mirage/mirage-skeleton/tree/master/device-usage/http-fetch
<ansiwen> bramford: thanks for your response! it does instantiate a resolver, yes, but I don't see how I can specify a DNS server there?
<bramford> ansiwen: You can give the `resolver_dns` function optional arguments to describe the nameserver
<ansiwen> I see in the source code, that "resolver_dns" takes an "ns" and "ns_port" parameter, but I would like to see an example how to use that. I would normally go ahead and create a new unikernel command line parameter for the dns server and feed that one into the ns: pparameter of resolver_dns... but I would like to hear from someone, that it's correct thing to do.
hnrgrgr has joined #mirage
hnrgrgr is now known as Guest28017
<bramford> ansiwen: If you want to make it configurable at runtime, I don't know of any other way to do it.
<ansiwen> bramford: yes, it must be configurable at boot time
hnrgrgr_ has joined #mirage
<ansiwen> bramford: thanks for your confirmation
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
ExtraCrispy has quit [Ping timeout: 268 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
lars_kurth_ is now known as lars_kurth
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
Guest28017 has quit [Quit: leaving]
andreas23 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
philtor has quit [Remote host closed the connection]
Haudegen has joined #mirage
andreas23 has joined #mirage
mort___ has quit [Quit: Leaving.]
jnavila has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #mirage
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Ping timeout: 240 seconds]
argent_smith has joined #mirage
argent_smith has quit [Ping timeout: 264 seconds]
argent_smith has joined #mirage
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 256 seconds]
argent_smith has joined #mirage
argent_smith1 has quit [Ping timeout: 255 seconds]
philtor has joined #mirage
argent_smith1 has joined #mirage
argent_smith1 has quit [Read error: Connection reset by peer]
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 255 seconds]
argent_smith has joined #mirage
argent_smith1 has quit [Ping timeout: 255 seconds]
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
argent_smith has joined #mirage
argent_smith1 has quit [Ping timeout: 240 seconds]
argent_smith has quit [Read error: Connection reset by peer]
argent_smith has joined #mirage
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 256 seconds]
argent_smith has joined #mirage
argent_smith2 has joined #mirage
argent_smith1 has quit [Read error: Connection reset by peer]
argent_smith1 has joined #mirage
argent_smith2 has quit [Ping timeout: 240 seconds]
argent_smith has quit [Ping timeout: 240 seconds]
argent_smith1 has quit [Ping timeout: 256 seconds]