What's the right arch to set for our arm kernel?

[Peter Robinson]

On Tue, Jun 7, 2011 at 10:40 PM, Martin Langhoff
<martin.langhoff at gmail.com> wrote:
> Hi Peter, lists,
>
> As per subject -- what's the right arch name to set for our arm kernel?
>
> I may set it to arm5tel but it isn't really -- it's armv7l. Yet I
> don't know what arch identifiers our current f-12/f-13 ARM builds will
> accept. Have yum and rpm got a list of identifiers that they consider
> roughly compatible, or maybe we just have to pretend to be arm5tel to
> sneak our way through?

7l is fine. the 5tel user space will run on a 7l kernel just fine. I
run it like that on both my beagleboardXM and AC100.

Peter