> This is the correct place. The Linux Kernel is for GNUMach; we > use a lot the the drivers, no need to duplicate the work. I'm not sure what you are talking about. The only reason you get linux kernel source packages is because debian calls these architecture-independent "all" packages. It has nothing whatsoever to do with use of linux drivers in the kernel.