On 18/01/16 15:23, Dave Tucker wrote:
Hi,
Before Christmas, I had a crazy idea that it would be cool to run Rumprun
unikernels on Raspberry Pi (code [1] is still a WIP).
Yes, I had that crazy idea many times. The integrator board support was
actually a quick few-day warmup for RPi, since integrator has nice QEMU
support.
But I never got around to RPi itself (and not even around to perfectly
integrating all parts of integrator support), so if you want to, awesome!
Some smaller/cheaper ARM boards might be even more interesting as a
demonstration, but RPi is cool in the sense that it's easy for anyone to
get their hands on one.
Rumprun does an excellent job of detecting the `$MACHINE` as `evbarm` but
currently defaults to the `integrator`board [2].
My question is, what would be the best way of passing the target board to
Rumprun?
I don't know, that mechanism has not been invented yet. I guess it
should be some sort of build-rr parameter, but I never quite manage to
finish the train of thought if the board parameter should be on the same
level as xen/non-xen for x86 or something else.
If you want to think it through and post a proposal, please. If you're
more interested attacking RPi support itself, just use some sort of
option in your local tree, and we can figure it out later.
- antti
