hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call August 8th 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.1 is released - happy hacking!
twopoint718 has joined #mirage
_whitelogger has joined #mirage
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
twopoint718 has joined #mirage
twopoint718 has quit [Client Quit]
twopoint718 has joined #mirage
twopoint718 has quit [Client Quit]
twopoint718 has joined #mirage
twopoint718 has quit [Client Quit]
twopoint718 has joined #mirage
twopoint718 has quit [Client Quit]
twopoint718 has joined #mirage
twopoint718 has quit [Client Quit]
twopoint718 has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
twopoint718 has quit [Read error: Connection reset by peer]
Haudegen has joined #mirage
lars_kurth has quit [Read error: Connection reset by peer]
lars_kurth has joined #mirage
<dinosaure> hmmhmm, mtime (from dbuenzli) is available on any target of MirageOS ?
<dinosaure> (like hvt?)
Haudegen has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 252 seconds]
demonimin has joined #mirage
demonimin has joined #mirage
<mato> dinosaure: I think it should just work...
Haudegen has joined #mirage
mort___ has joined #mirage
<hannes> dinosaure: Mtime_clock is provided by mirage-clock-{freestanding|xen} as MTIME interface
Haudegen has quit [Remote host closed the connection]
<dinosaure> ok cool
Guest66485 has joined #mirage
Guest66485 has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
jnavila has joined #mirage
<hannes> the interface is actually in mirage-clock{-lwt}
mort___ has joined #mirage
demonimin has quit [Ping timeout: 246 seconds]
demonimin has joined #mirage
mort___ has left #mirage [#mirage]
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #mirage
demonimin has joined #mirage
jnavila has quit [Remote host closed the connection]
Guest76100 has joined #mirage
demonimin has quit [Ping timeout: 246 seconds]
demonimin has joined #mirage
demonimin has quit [Ping timeout: 244 seconds]
demonimin has joined #mirage
demonimin has joined #mirage
pagurus has joined #mirage
Guest76100 has quit [Remote host closed the connection]
epsilonhalbe has joined #mirage
demonimin has quit [Ping timeout: 246 seconds]
demonimin has joined #mirage
epsilonhalbe has left #mirage [#mirage]