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

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? cheers, m --  martin.langhoff(a)gmail.com  martin(a)laptop.org -- Software Architect - OLPC  - ask interesting questions  - don't get distracted with shiny stuff  - working code first  - http://wiki.laptop.org/go/User:Martinlanghoff