On Sun, Aug 8, 2010 at 9:01 AM, MGW-Discussions mailinglistmember@mgwigglesworth.net wrote:
Do I need to restart the system when the headers and sources are installed?
That is generally a good idea since the kernel, headers and devel rpms are installed all at the same time. Otherwise you won't be running the newly installed kernel as well.
HTH...
Mark