avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
yomimono has joined #mirage
dograt_ has joined #mirage
dograt has quit [Read error: Connection reset by peer]
yomimono has quit [Ping timeout: 240 seconds]
tomboy64 has quit [Quit: WeeChat 1.7]
philtor has quit [Ping timeout: 268 seconds]
_whitelogger has joined #mirage
insitu has joined #mirage
insitu has quit [Client Quit]
yomimono has joined #mirage
_whitelogger has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fgimenez has joined #mirage
mato has quit [Quit: WeeChat 1.7]
miragebot has joined #mirage
<miragebot> mirage/master 5203514 Mindy Preston: pin dns and mirage-dns for now
miragebot has left #mirage [#mirage]
<miragebot> [mirage] yomimono pushed 6 new commits to master: https://git.io/vy8lF
<miragebot> mirage/master a5fd9d3 Mindy Preston: remove EXTRA_REMOTES=mirage-dev from .travis.yml
<miragebot> mirage/master 6c42bcc Mindy Preston: clone the primary branch of mirage-skeleton to test it
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
carlos has joined #mirage
tomboy64 has joined #mirage
ptrf has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 06c2989 Mindy Preston: Merge pull request #802 from yomimono/ukvm-fix...
<miragebot> mirage/master eb14782 Mindy Preston: change directories before cloning mirage-skeleton
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vy8oA
yomimono has quit [Ping timeout: 246 seconds]
carlos has quit [Ping timeout: 260 seconds]
GK___1wm___SU has joined #mirage
GK___1wm___SU has quit [Excess Flood]
tomboy64 has quit [Remote host closed the connection]
tomboy64 has joined #mirage
yomimono has joined #mirage
yomimono has quit [Ping timeout: 258 seconds]
yomimono has joined #mirage
agarwal1975 has joined #mirage
fgimenez has quit [Ping timeout: 240 seconds]
<kensan> Hi
<kensan> I have a question regarding Solo5: which opam packages do I need to adjust if I want to add a new solo5 kernel package, i.e. solo5-kernel-muen as a replacement for solo5-kernel-ukvm?
fgimenez has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 268 seconds]
mort___ has joined #mirage
hannes` is now known as hannes
yomimono has joined #mirage
philtor has joined #mirage
copy` has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #mirage
fgimenez has quit []
yomimono has quit [Ping timeout: 246 seconds]
yomimono has joined #mirage
mort___ has quit [Ping timeout: 256 seconds]
yomimono has quit [Ping timeout: 260 seconds]
philtor has quit [Ping timeout: 268 seconds]
brson has joined #mirage
philtor has joined #mirage
brson has quit [Ping timeout: 258 seconds]
brson has joined #mirage
yomimono has joined #mirage
brson has quit [Quit: leaving]
yomimono has quit [Ping timeout: 246 seconds]
insitu has joined #mirage
insitu_ has joined #mirage
insitu has quit [Ping timeout: 256 seconds]
insitu_ has quit [Ping timeout: 268 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
philtor has quit [Ping timeout: 260 seconds]
philtor has joined #mirage
brson has joined #mirage
brson has quit [Ping timeout: 260 seconds]
<kensan> So I am trying to get a handle on how to add a new platform to mirage in order to test a proper build of the Solo5/Muen port.
<kensan> I have changed mirage so it contains "Muen" as a new platform, see https://github.com/codelabs-ch/mirage/tree/muen
<kensan> Then I added a local pin for mirage and solo5-kernel-muen.
<kensan> When I now try to build a test unikernel, e.g. mirage-skeleton/tutorial/hello I get the following error:
<kensan> Your request can't be satisfied:
<kensan> - mirage-unikernel-hello-muen is not available because the package is pinned to $path/to/mirage-skeleton/tutorial/hello, version 1.0
<kensan> Can anybody give me a pointer on what I am doing wrong?
brson has joined #mirage
brson has quit [Ping timeout: 260 seconds]
brson has joined #mirage
agarwal1975 has quit [Ping timeout: 268 seconds]
<apache3_> does someone in morocco want to give me a 15min primer om GADTs?
djs55 has joined #mirage
djs55 has left #mirage [#mirage]