On Mon, 4 Nov 1996, Markus Baeurle wrote:

> In message <9610302220.ZM5567@physig4.ph.kcl.ac.uk>
>           "Mark Brinicombe" <amb@physig4.ph.kcl.ac.uk> wrote:
> 
> >   Ok someone needs to look into this. I have not got round to setting up
> > another machine as a PPP server for testing purposed. Have a word with Scott
> > <s.k.stevens@ic.ac.uk> as he had a brief look at PPP at one point I think.
> 
> I haven't looked up what the problem to get it working was, but maybe it's got
> something to do with PR#2554, its title is "pppd server mode from command line
> is broken".
> Other pppd related PRs are 2574, 2705 and 2728.
> They can be looked up on NetBSD's WWW-server.

The current problem with PPP is RiscBSD specific.
It seems to be that the kernel configuration information about PPP 
interfaces is not being included in irqhandler.c which is an arm32 
specific file. In the 1.1 kernel sources this file included ppp.h, in the 
1.2 sources it does not. A simple fix is to build your own kernel with a 
modifed irqhandler.c which includes ppp.h and probably sl.h as well.

Is there any include file which includes all the configuration header 
files or should the .c file just #include all the ones that are relevant? 

Mike