I was wondering why 9pccpuf isn't included in the distribution when other 
kernels are ?

The wiki seems to think it should be present :

> You need to use a cpu/auth kernel, the existing one in /386/9pccpuf should 
> work.

Has it dropped out by accident ?

Reply via email to