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

2011-06-07 Thread Martin Langhoff
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

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

2011-06-07 Thread Peter Robinson
On Tue, Jun 7, 2011 at 10:40 PM, Martin Langhoff martin.langh...@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