$ 0 0 Thanks, that was it. For the reference, here is the entry I was looking for: armv7l Regards, Miklos