On 21/07/17 10:23, David du Colombier wrote: >> 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.
Great, thanks for the prompt reply! Hugues
