avsm changed the topic of #mirage to: mirage 2 released! party on!
NhanH__ has quit [Ping timeout: 244 seconds]
NhanH__ has joined #mirage
brson has quit [Ping timeout: 276 seconds]
mcclurmc has quit [Ping timeout: 276 seconds]
mcclurmc has joined #mirage
brson has joined #mirage
brson has quit [Ping timeout: 240 seconds]
andreas231 has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 240 seconds]
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 244 seconds]
smkz has quit [Quit: reboot@]
smkz has joined #mirage
mort___ has joined #mirage
mort___ has quit [Remote host closed the connection]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master e7064aa Anil Madhavapeddy: doc: add qcow-format and dockerfile to the doc build
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
srenatus[m] has quit [Write error: Connection reset by peer]
srenatus[m] has joined #mirage
srenatus[m] has quit [K-Lined]
miragebot has joined #mirage
<
miragebot>
mirage/master a43772f Anil Madhavapeddy: Merge pull request #598 from avsm/master...
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master 0455240 Anil Madhavapeddy: doc: rename odoc->odig and do not install it twice
srenatus[m] has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master a082a8e Anil Madhavapeddy: Merge branch 'master' of github.com:mirage/mirage
<
miragebot>
mirage/master aff146c Anil Madhavapeddy: doc: fix topkg-care name...
miragebot has joined #mirage
copy` has joined #mirage
mort___ has joined #mirage
rgrinberg has joined #mirage
agarwal1975 has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master cd7d091 Anil Madhavapeddy: Merge pull request #599 from avsm/master...
<
miragebot>
mirage/master 4910a4b Anil Madhavapeddy: doc: add more libraries to the documentation mix
mcclurmc has joined #mirage
pmiess has joined #mirage
<
pmiess>
I'm having a problem with solo5, is anyone here I could ask for help?
<
mato>
pmiess: Just noticed your question now, sure, go for it.
<
pmiess>
when I get the the make step on the solo5 page I get an error
<
pmiess>
actually I get an error in the conf fig step for stackv5
<
pmiess>
ile "config.ml", line 5, characters 44-48:
<
pmiess>
Error: The function applied to this argument has type
<
pmiess>
?group:string ->
<
pmiess>
?dhcp_key:bool Mirage.value ->
<
pmiess>
?net_key:[ `Direct | `Socket ] Mirage.value ->
<
pmiess>
This argument cannot be applied without label
<
pmiess>
Mirage.stackv4 Functoria.impl
<
pmiess>
Command exited with code 2.
<
pmiess>
this is after /mirage-skeleton/stackv4 $ mirage configure -t ukvm
<
pmiess>
it also says mirage: unknown option `-t'.
<
mato>
are you sure you're on the "mirage-dev" branch of mirage-skeleton?
brson has joined #mirage
andreas23 has joined #mirage
mort___ has quit [Quit: Leaving.]
<
pmiess>
mirage-solo5-dev C 4.03.0 Official 4.03.0 release
<
pmiess>
mirage-solo5-dev C 4.03.0 Official 4.03.0 release
<
pmiess>
is in white
<
mato>
no, I mean the git branch
mort___ has joined #mirage
<
mato>
what does "git branch" say in the stackv4 directory?
<
mato>
right, you need mirage-dev
<
pmiess>
ok thanks for pointing out my mistake
<
mato>
also just to check, what does "opam list |grep dev~mirage" say?
<
pmiess>
functoria dev~mirage
<
pmiess>
mirage-clock-xen dev~mirage
<
pmiess>
mirage-clock-unix dev~mirage
<
pmiess>
mirage dev~mirage The MirageOS library operating system
<
pmiess>
mirage-logs dev~mirage
<
pmiess>
mirage-types dev~mirage Module type definitions for Mirage-compati
<
pmiess>
mirage-solo5 dev~mirage
<
pmiess>
mirage-types-lwt dev~mirage Lwt module type definitions for Mirage-com
<
pmiess>
mirage-unix dev~mirage
<
pmiess>
ocaml-freestanding dev~mirage Freestanding OCaml runtime
<
pmiess>
solo5-kernel-ukvm dev~mirage Solo5 unikernel base (ukvm target)
<
mato>
ok, that looks fine. so it's probably just the git branch being wrong
<
pmiess>
yes that works better
<
pmiess>
I had pulled main when I was trying the current version
<
pmiess>
thanks again
<
mato>
you're welcome
mort___ has quit [Quit: Leaving.]
jermar has joined #mirage
andreas23 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 244 seconds]
mort___1 has quit [Quit: Leaving.]
<
pmiess>
with the kv_ro sample when I run make it posts an error Fatal error: exception Fat.Fs.Make(B)(M).Fs_error(_)
<
pmiess>
actually when I run the result file from make it posts that error
tg has quit [Remote host closed the connection]
tg has joined #mirage
mcclurmc has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
rgrinberg has quit [Ping timeout: 264 seconds]
brson has quit [Ping timeout: 276 seconds]
brson has joined #mirage
agarwal1975 has quit [Ping timeout: 240 seconds]
jermar has quit [Remote host closed the connection]