The kernel isn't modular for boot-time simplicity & speed. We may well do releases with stuff like PPP modular (and supplied in the developer image) in future though. The DSP stuff is all in the kernels, just that we can't explain to anyone what the hex values mean (sad, but true. Actually, for a lot of them they're just magic values that we don't understand either).

The patches against SA1100 2.2.12 have just gone off to Nico, so look for a new release of that soon.

I've put a PPP kernel in http://www2.empeg.com/upgrades/tools/pppkernel7.upgrade

Hugo