Do you have any links that discuss the different types of kernels for various processors? I've been googling, but haven't had much luck. -- digimars