On 16 Apr 2011, at 12:42, Ciprian Dorin Craciun wrote: >=20 > Have I missed some configuration options, or should I change the > kernel config? You need CONFIG_DEBUG_KERNEL and CONFIG_DEBUG_INFO in your kernel config = to build modules with debugging symbols. Cheers, Simon