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!
_whitelogger has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
epsilonhalbe has joined #mirage
<epsilonhalbe> hi - i'm trying to build the hvt version of the hello unikernel: `mirage configure -t hvt` tells me that this is an invalid option,
<epsilonhalbe> my mirage version is 3.1.1 and the git repo of the mirage-skeleton is up to date
<hannes> epsilonhalbe: the rename to hvt only happened in mirage 3.2.0, so you should update your mirage :)
<epsilonhalbe> hannes: can I do that via opam? or do I have to compile it from source?
<hannes> this action requires opam2..
<hannes> epsilonhalbe: mirage 3.2.0 is released to opam, but opam1 has been deprecated and is no longer updated --> there's no mirage 3.2.0 in opam1
<epsilonhalbe> where can I get that? via opam itself
<hannes> yes, instructions at https://opam.ocaml.org
<epsilonhalbe> thanks - I'll dig into that
<hannes> either by using your OS package manager in case opam2 is already shipped, using a binary from opam.ocaml.org or installing opam2 using opam1. you will need to recompile all your packages (AFAIU), so a opam list > mypackages is worth doing
<epsilonhalbe> i only have mirge installed - recompiling shouldn't take too long
<hannes> \o/
<epsilonhalbe> I want to get a grasp of unikernels and get a bit more into halvm and maybe get it to use the solo5 project
<epsilonhalbe> I've updated the mirage skeleton with a note and sent a pr
<epsilonhalbe> hmm - getting another error /dev/kvm permission denied - is it better to chown <user>:<group> /dev/kvm or to sudo solo5-hvt?
<hannes> epsilonhalbe: this depends very much on your system configuration. using "sudo solo5-hvt" is fine imho
<epsilonhalbe> thx
<epsilonhalbe> yes it works!
<epsilonhalbe> I have a running hello unikernel
<dinosaure> \o/
Haudegen has quit [Read error: Connection reset by peer]
miragebot has joined #mirage
<miragebot> mirage/master 75f0bc3 Hannes Mehnert: Merge pull request #938 from hannesm/charrua-client...
<miragebot> mirage/master e8d6314 Hannes Mehnert: adapt to charrua-client changes: Dhcp_client requires a random device now
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fp3zW
raboof_ has joined #mirage
raboof[m] is now known as raboof[weg][m]
Haudegen has joined #mirage
epsilonhalbe has quit [Remote host closed the connection]
jnavila has joined #mirage
raboof[weg][m] is now known as raboof[m]
raboof_ is now known as raboof
raboof has quit [Changing host]
raboof has joined #mirage
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
jnavila has quit [Remote host closed the connection]
miragebot has joined #mirage
<miragebot> mirage/master ba4cc82 Anil Madhavapeddy: Merge pull request #940 from hannesm/no-io-page...
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/fp3hT
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 611f0ce Hannes Mehnert: remove io-page configuration as proposed in...
miragebot has joined #mirage
<miragebot> mirage/master df4207e Hannes Mehnert: Merge pull request #905 from waldyrious/patch-1...
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fp3jt
miragebot has left #mirage [#mirage]
<miragebot> mirage/master d3d5c9d Waldir Pimenta: LICENSE.md: add title and copyright notice...
Haudegen has quit [Remote host closed the connection]