What if the user wants to run a different OS besides Linux?
Seems like the only option is Linux?
No Plan9, BSD, etc.?
https://wiki.freebsd.org/FreeBSD/arm/Raspberry%20Pi
It's just that we haven't tested it yet ourselves. Minimal adjustments may be necessary due to a few small differences between the standard RasPi and the RasPi Compute Module used in the Revolution Pi, e.g. the Compute Module lacks the on-board BCM43438 WiFi that's present on the standard RasPi 3.