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

Peter Robinson pbrobinson at gmail.com
Tue Jun 7 17:42:58 EDT 2011

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.


More information about the Devel mailing list