Ubuntu
linux-source-2.6.15 package

  1. Bug #413656
  2. Comment #14

Comment 14 for bug 413656

Revision history for this message
Kees Cook (kees) wrote :

You need to reboot for the kernel to be reloaded. As for config, see /boot/config-$(uname -r)