avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
_whitelogger has joined #mirage
mort___ has joined #mirage
_whitelogger has joined #mirage
argent_smith has joined #mirage
mort___ has joined #mirage
argent_smith has quit [Quit: Leaving.]
pagurus has joined #mirage
mort___ has quit [Quit: Leaving.]
copy_ has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
olle has joined #mirage
<olle>
Here’s a general Mirage question: is jbuilder now the build tool?
<olle>
Or, am I just seeing dependent packages of Mirage use jbuilder to build themselves?
<hannes>
olle: jbuilder is a pretty new build tool which seems to get some traction. it is used by several MirageOS libraries, but not all of them.
<olle>
It is _a_ new build tool, not _the_ new build tool. Good clarification.
<hannes>
olle: mirage itself still uses ocamlbuild + ocamlfind, since jbuilder does (not yet!?) have a "cross compilation" story (where mirage uses the same architecture, but has to link different C libraries, and a custom OCaml runtime for kvm/xen/..)
argent_smith has joined #mirage
<olle>
Thanks again for the specificity.
<hannes>
thanks for asking!
<hannes>
I suspect by now, there are at least 4 different build systems involved in a mature MirageOS unikernel: oasis (using ocamlbuild), topkg (using ocamlbuild), likely some Makefile / shell scripts (e.g. mirage-xen-*), jbuilder...
balduin has joined #mirage
balduin has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has quit [Client Quit]
<olle>
What are the supported arch’s of Mirage, at the moment? How tiny a computer can run a Mirage? A tablet?
mort___ has joined #mirage
copy_ has quit [Quit: Connection closed for inactivity]
demonimin has joined #mirage
pagurus has quit [Ping timeout: 240 seconds]
pagurus has joined #mirage
<hannes>
olle: the architectures supported are amd64 (also known as x86_64), arm32 and xen (unclear when this was used last), arm64 and kvm (with an unreleased solo5, but in master)
<hannes>
so tablets should be in scope
demonimin has quit [Ping timeout: 240 seconds]
<hannes>
cubieboard is in scope -- used to work 2 years ago (it has support for vt-x), raspberry not atm (since no vt-x)