avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 276 seconds]
brson has joined #mirage
brson has quit [Quit: leaving]
insitu has joined #mirage
insitu has quit [Ping timeout: 264 seconds]
insitu has joined #mirage
srenatus has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
dexterph has joined #mirage
AltGr has joined #mirage
andreas23 has joined #mirage
mort___ has joined #mirage
tg has quit [Ping timeout: 246 seconds]
tg has joined #mirage
mort___ has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
jermar has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yomimono has joined #mirage
yomimono has quit [Quit: Leaving]
mort___ has joined #mirage
<mato>
hannes: around now, was not checking irc earlier
<hannes>
mato: so I generated an iso image, and tried to boot it with this grub, but that complained that the magic is wrong... I modified grub to not check for the magic, then it complained it cannot boot 32bit mode, I removed that check as well, but it doesn't seem to boot...
<mato>
interesting
<mato>
can you point me to the source of the grub that bhyve uses?
<mato>
hannes: try "multiboot (cd0)/boot/kernel" instead of "linux ..."
<hannes>
i will after coffee :)
mort___ has quit [Quit: Leaving.]
<hannes>
grub> multiboot (cd0)/boot/kernel
<hannes>
error: no multiboot header found.
mort___ has joined #mirage
<mato>
hannes: did you change anything while getting virtio to build for you on freebsd? linker script, etc?
<hannes>
no
<hannes>
if you've a virtio multiboot image build on some linux, can you mail that to me to see whether my grub bhyve is happy with it
<hannes>
?
<mato>
hannes: done
<mato>
still going thru the grub code...
<mato>
i don't see why it should fail -- the multiboot header is correctly aligned and starts at 0x1000 in the ELF file
<hannes>
your image was accepted by my grub
<mato>
aha!
<hannes>
looks like I've to investigate (and see how to connect a console to see actual output)
<hannes>
it would help (me) if you could also give me an image which uses ocaml + mirage... :)
<mato>
sure, hang on
mort___ has quit [Quit: Leaving.]
<hannes>
.oO(sorry for being pretty clueless about booting and bhyve... I just want to have it running here on my laptop ;)
<mato>
i just emailed you a mir-stackv4.iso.gz
<hannes>
got output \o/ (from the solo5)
<hannes>
happy hannes :D
<mato>
goodo
<hannes>
soon burning down all the xen machines I have ;)
<mato>
hey, nothing wrong with xen :)
<hannes>
I tried running FreeBSD-dom0 for some time on my laptop, it is a pain
<hannes>
(but that is me struggling with this linux)
<hannes>
I'll as a first step try to build a solo5-test-iso on my box
<mato>
i'd help you test but the only freebsd i have is a xen vm and bhyve won't run on that...
<hannes>
no worries
<mato>
incidentally, i don't know what grub-bhyve can or can't do -- if it can access files on the "host" then you might not need an ISO at all and could boot the .virtio file directly
<hannes>
yes, needs investigation... likely that we don't need the iso (but y'day I was stuck so I tried an iso)
<hannes>
(solo5: is there a reason the makefile targets are named with postfix _target? virtio_target ukvm_target)
<mato>
hannes: there are virtio/ and ukvm/ subdirs in kernel/, that's probably why
<mato>
i'd make the default not build ukvm on non-Linux but that would need some kind of configure script, feels like too much work :)
<hannes>
so, building here the resulting virtio image does not work (bad multiboot magic)...
<mato>
go look at 0x1000 with a hex editor and see what's in there :)
<hannes>
and yes, no need for .iso... I can multiboot (host)/bla.virtio
<mato>
hannes: No idea what's going on there :( It looks like your ld is laying out sections at 1MB in the output file, when it should just be setting the virtual address to start at 1MB
<mato>
hannes: FreeBSD seems to be using a very old version of GNU ld (2.17.50 from 2007 on my FreeBSD 10 box) so it might be a linker bug
<hannes>
this is a GNU ld 2.17.50... I'll dig a bit more
<mato>
anyhow, the good news is that a correctly built image boots on bhyve!
raindev has quit [Ping timeout: 246 seconds]
raindev has joined #mirage
<mato>
hmmm, there is a bunch of skeletons hiding in the linker script stuff, i may have found something....
<hannes>
setting . = 0x1000 let's the multiboot command to come through, but boot doesn't like it..
mort___ has joined #mirage
rgrinberg has joined #mirage
<mato>
hannes: no, that won't work. interestingly, if i remove the max-page-size option from the final ld command, I get the same behaviour on Linux as you see on FreeBSD
<mato>
i'm trying to figure out why that option is required in the first place, since it's not used for rumprun
<mato>
however all of the linker script stuff is a bit voodoo
<mato>
when you get a moment, perhaps send a report (with the grub-bhyve instructions) to mirageos-devel
srenatus has quit [Quit: Connection closed for inactivity]
<hannes>
mato: https://github.com/djwillia/solo5/pull/53 ... would be great if you can test that on non-BSD (I tried it with all the cc's I have around, also on some ubuntu)
<hannes>
mato: I'd rather work a bit more to get MirageOS on bhyve, and then write that up :)
<hannes>
well... I removed libgcc.a from LDFLAGS... and still need to provide it with some headers (stddef.h stdint.h)
<hannes>
which I currently use the gcc48 ones...
<mato>
yeah, i'm not entire sure what to do about that -- stddef.h & friends are technically "compiler specific"
<mato>
where does clang get those from? are they just shipped as part of /usr/include on freebsd?
<hannes>
yes
<hannes>
(and with openlibm it gets worse.. that also wants to have machine/endian.h (which here depends on x86/endian.h) and osreldate.h (all 3 in /usr/include))
<hannes>
mato: does alpine provide a cc (as a symlink to gcc); if so, could you please merge https://github.com/djwillia/solo5/pull/55 (so that I have less git branch/merge headaches)
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
<hannes>
(but even with those changes, a MirageOS virtio VM compiled locally doesn't work, will dig deeper)
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dexterph has quit [Ping timeout: 264 seconds]
<mato>
hannes: yes it does, will do in a sec
<mato>
does a gcc-compiled version work? that'd be the first thing i'd check.
agarwal1975 has quit [Quit: agarwal1975]
raindev has joined #mirage
raindev has quit [Remote host closed the connection]
agarwal1975 has joined #mirage
<hannes>
same issue with gcc...
<hannes>
there's a page fault while initialising the caml runtime afaics...
<mato>
hannes: time to pull out the debugger :)
<hannes>
yes.. do you in general have sensible backtraces using solo5? or should I start (as usual) with printf debugging?
<mato>
hannes: backtraces should in general work
<hannes>
ok, will try :)
<mato>
hannes: i have to go now, may be around briefly tomorrow to merge things, if not then monday
<hannes>
thanks for your time! highly appreciated!
<hannes>
oh, one minor thing..
<mato>
yes?
<hannes>
you sent me mir-stackv4... would you mind sending me a mir-console.virtio (not iso) as well? thus I can comapre hexdumps
<mato>
sure
jermar has quit [Ping timeout: 272 seconds]
<mato>
hannes: done. other things worth comparing are readelf -l and readelf -S
<mato>
hannes: cyl...
brson has joined #mirage
tg has quit [Ping timeout: 264 seconds]
tg has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
tg has quit [Ping timeout: 250 seconds]
tg has joined #mirage
jermar has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
betheynyx has quit [Read error: Connection reset by peer]
jermar has quit [Read error: Connection reset by peer]
sigjuice has quit [Ping timeout: 252 seconds]
rektide_ has quit [Ping timeout: 252 seconds]
aantron has quit [Ping timeout: 252 seconds]
insitu has joined #mirage
sigjuice has joined #mirage
aantron has joined #mirage
rektide has joined #mirage
jermar has joined #mirage
copy` has joined #mirage
insitu has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
betheynyx has joined #mirage
jermar has quit [Read error: Connection reset by peer]
insitu has quit [Ping timeout: 250 seconds]
insitu has joined #mirage
tg has quit [Quit: Leaving]
tg has joined #mirage
jermar has joined #mirage
insitu has quit [Ping timeout: 244 seconds]
StrykerKKD has joined #mirage
rgrinberg has joined #mirage
raboof_ has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
raboof has quit [Write error: Broken pipe]
sknebel has quit [Write error: Broken pipe]
tg has quit [Quit: Leaving]
sknebel has joined #mirage
tg has joined #mirage
agarwal1975 has joined #mirage
tg has quit [Ping timeout: 264 seconds]
tg has joined #mirage
tg has quit [Quit: Leaving]
tg has joined #mirage
jermar has quit [Ping timeout: 240 seconds]
tg has quit [Ping timeout: 276 seconds]
tg has joined #mirage
StrykerKKD has quit [Read error: Connection reset by peer]