Re: Kernel DSO ?