* Daniel Jacobowitz <dan@debian.org> [2008-06-04 12:40]: > # CONFIG_ARM_THUMB is not set > > This is set in the versatile defconfig, but not in the Debian package. > In general all ARM distro kernels ought to have this turned on, I think. Thanks, I'll enable them for all configs that support it. -- Martin Michlmayr http://www.cyrius.com/