hannes changed the topic of #mirage to: MirageOS are OCaml unikernels - https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.7.1 is released - happy hacking!
_whitelogger has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
zmijunkie has joined #mirage
DonRichie has quit [Ping timeout: 256 seconds]
nextloop has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
ln5_ has joined #mirage
ln5 has quit [Ping timeout: 256 seconds]
ln5_ has quit [Remote host closed the connection]
ln5_ has joined #mirage
ln5__ has joined #mirage
ln5_ has quit [Ping timeout: 256 seconds]
cbarrett has quit [*.net *.split]
orumin has quit [*.net *.split]
copy has quit [*.net *.split]
hannes has quit [*.net *.split]
_whitelogger has joined #mirage
vbmithr has quit [Ping timeout: 258 seconds]
Haudegen has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
zmijunkie has quit [Quit: Leaving.]
jnavila has joined #mirage
zmijunkie has joined #mirage
jnavila has quit [Quit: Konversation terminated!]
jnavila has joined #mirage
damjan_ has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
damjan has quit [Quit: bye]
damjan_ is now known as damjan
damjan has quit [Quit: bye]
damjan has joined #mirage
damjan has quit [Quit: bye]
damjan has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
zmijunkie has quit [Client Quit]
zmijunkie has joined #mirage
zmijunkie has quit [Client Quit]
zmijunkie has joined #mirage
aedc_ has joined #mirage
aedc has quit [Ping timeout: 240 seconds]
zmijunkie has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 265 seconds]
Haudegen has joined #mirage
zmijunkie has joined #mirage
Hrundi_V_Bakshi has joined #mirage
<zmijunkie> Hi … I want to run a hello-world on bhyve … can anybody point me to some documentation ?
<hannes> zmijunkie: when you follow the installation instructions https://mirage.io/wiki/install and get opam (from ports), and ocaml (via opam), you'll be nearly there ;)
<hannes> opam install mirage <- installs the mirage command line utility
<hannes> the git repository at https://github.com/mirage/mirage-skeleton has examples, including a hello world -- best to clone that repository
<hannes> in tutorial/hello do a mirage configure -t hvt --no-depext && make depend && make
jnavila has quit [Ping timeout: 272 seconds]
<hannes> that'll result in a hello.hvt elf image which you can execute on your bhyve using solo5-hvt (installed via the opam package solo5-bindings-hvt into ~/.opam/<switch-name>/bin/solo5-hvt: solo5-hvt hello.hvt <- this will use the bhyve hypervisor (kernel API vmmapi) to execute a hello world
<hannes> if you like to use the "bhyve" utility instead, you'll have to "mirage configure -t virtio --no-depext && make depend && make" and get a hello.virtio image
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
jnavila has joined #mirage
<zmijunkie> hannes, I got hello-world running …
<zmijunkie> ```-t unix
jnavila has quit [Quit: Konversation terminated!]
jnavila has joined #mirage
<zmijunkie> @hannes ah thanx …. I need solo5 and more…
<zmijunkie> will try
ln5___ has joined #mirage
ln5__ has quit [Ping timeout: 256 seconds]
jnavila has quit [Remote host closed the connection]
jnavila has joined #mirage
aedc_ has quit [Quit: Leaving]
ln5____ has joined #mirage
ln5___ has quit [Ping timeout: 256 seconds]
jnavila_ has joined #mirage
jnavila has quit [Ping timeout: 256 seconds]
<zmijunkie> hannes …. Got File "unikernel.ml", line 11, characters 8-41: Error: This expression has type unit Time.io but an expression was expected of type 'a Lwt.t on two FreeBSD hosts … and looks like http://wiki.geregere.net/technote/unikernel.html have got the same problems … dunno if they solved this …
jnavila_ has quit [Quit: Konversation terminated!]
raboof has quit [*.net *.split]
raboof has joined #mirage
h01ger has quit [*.net *.split]
engil has quit [*.net *.split]
trn has quit [*.net *.split]
ma-hartma has quit [*.net *.split]
ma-hartma has joined #mirage
trn has joined #mirage
h01ger has joined #mirage
engil has joined #mirage
trn has quit [Max SendQ exceeded]
ahf has quit [*.net *.split]
ahf has joined #mirage
trn has joined #mirage
ahf has quit [Max SendQ exceeded]
xuqzab[m] has quit [Ping timeout: 260 seconds]
cqc has quit [*.net *.split]
cqc has joined #mirage
mort___88 has quit [*.net *.split]
mort___88 has joined #mirage
raboof has quit [Ping timeout: 246 seconds]
raboof has joined #mirage
ahf has joined #mirage
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
Hrundi_V_Bakshi has joined #mirage
xuqzab[m] has joined #mirage
Hrundi_V_Bakshi has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 246 seconds]