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). 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?
Thanks! -- Dave [1]: https://github.com/dave-tucker/rumprun [2]: https://github.com/rumpkernel/rumprun/blob/master/platform/hw/Makefile#L24
