From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@9fans.net
References: <97227eaa-e846-b8c6-0f66-e0751becebe3@imperial.ac.uk>
	<CANUoZoGArWBV8w2g9bB7yie77mMr2eMZE_C7yhxhTF50FEZX9Q@mail.gmail.com>
From: Hugues Evrard <h.evrard@imperial.ac.uk>
Message-ID: <ad9ad5fb-9737-5e0a-9660-0866b323c0de@imperial.ac.uk>
Date: Fri, 21 Jul 2017 10:56:01 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
	Thunderbird/45.8.0
MIME-Version: 1.0
In-Reply-To: <CANUoZoGArWBV8w2g9bB7yie77mMr2eMZE_C7yhxhTF50FEZX9Q@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Cc: Dan Iorga <iorgadan@gmail.com>
Subject: Re: [9fans] Multicore support ARM RaspberryPi
Topicbox-Message-UUID: bfac2a78-ead9-11e9-9d60-3106f5b1d025

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