I can confirm this issue: grep ISDN /boot/config-3.18.0-trunk-rpi # CONFIG_ISDN is not set
And also that it is enabled on Debian kernels (tested 3.16 and 4.3)
Bodo: Can you specify the settings/modules that you really need? It may be a bit overkill to enable all these things for a Raspberry Pi.
I can confirm this issue: 3.18.0- trunk-rpi
grep ISDN /boot/config-
# CONFIG_ISDN is not set
And also that it is enabled on Debian kernels (tested 3.16 and 4.3)
Bodo: Can you specify the settings/modules that you really need?
It may be a bit overkill to enable all these things for a Raspberry Pi.