> Does (any flavour of) plan9 / inferno make use of several cores on > (any flavour of) ARM?
Yes, the current Raspberry kernel developed by Richard Miller can handle the four cores on the Raspberry Pi 3. It is available in /n/sources/contrib/miller/9/bcm -- David du Colombier