I have not found a pre-built Debian ARM ppp package (other than ppxp) so I have been assuming I will have to build one myself. However, that's not what's troubling me.

It doesn't appear that the beta6 developer image's kernel provides the necessary network support for PPP. So my question is, how can I add it?