[Barrelfish-users] Barrelfish-users Digest, Vol 33, Issue 2
Matt.Horsnell at arm.com
Fri Nov 9 15:44:59 CET 2012
I think Zeus, currently interning with us at ARM, will follow up with a more informed email detailing some of the issues we've identified in trying to get the barrelfish tip running on the gem5 tip.
My personal input would be to try and persuade you to settle on supporting the Versatile Express EMM platform as the basis for the gem5 port. This is the default platform ARM is currently supporting through our efforts with gem5 and it is likely to remain the most stable going forward. As a reference point this will also give you the ability to make comparisons directly to Linux/Android (those kernels being actively maintained by ARM and Linaro for EMM).
In terms of actual hardware that is a political decision best left to the community. I know you guys are already using the Pandaboards and that there are a number of other relatively cheap platforms available (Samsung's Arndale board being a recent example). A good guide explaining how you would go about porting the OS to another board would probably be more useful than supporting more than one board.
As mentioned in the past, I am happy to help/facilitate/support where I can,
On 9 Nov 2012, at 11:00, barrelfish-users-request at lists.inf.ethz.ch wrote:
> Send Barrelfish-users mailing list submissions to
> barrelfish-users at lists.inf.ethz.ch
> To subscribe or unsubscribe via the World Wide Web, visit
> or, via email, send a message with subject or body 'help' to
> barrelfish-users-request at lists.inf.ethz.ch
> You can reach the person managing the list at
> barrelfish-users-owner at lists.inf.ethz.ch
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Barrelfish-users digest..."
> Today's Topics:
> 1. ARM support in barrelfish (Kornilios Kourtis)
> Message: 1
> Date: Fri, 9 Nov 2012 10:55:24 +0100
> From: Kornilios Kourtis <kornilios.kourtis at inf.ethz.ch>
> Subject: [Barrelfish-users] ARM support in barrelfish
> To: <barrelfish-users at lists.inf.ethz.ch>
> Message-ID: <20121109095524.GA596 at sgd-dalcoi5-20.ethz.ch>
> Content-Type: text/plain; charset="us-ascii"
> Hi all,
> Although barrelfish ARM support has improved with the addition of new
> architectures (ARMv7) and platforms (arm_gem5, pandaboard), the code is
> not in the best possible state (to put it mildly :-). We are currently
> thinking about what ARM support barrelfish should provide, how to clean
> up the code, and how to make it easier for people with ARM hardware to
> use and extend barrelfish.
> We are aware --mostly via messages on the list-- of several projects that
> use barrelfish on ARM, but we would like to get a more comprehensive view
> of what people are doing (or plan to do), so that we can make more
> informed decisions, and possibly collaborate on improving ARM support in
> barrelfish. So, if you are using barrelfish on an ARM architecture please
> let us know what hardware you are using, what are your plans, etc.
> Needless to say, any help on improving ARM support would be more than
> Kornilios Kourtis
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> End of Barrelfish-users Digest, Vol 33, Issue 2
More information about the Barrelfish-users