* 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/



--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org