# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1217245409 0
# Node ID 0bdbc96fecc0856322e92848b9d540781f29009f
# Parent  6c508499991006e9405e3ecda29c7c1a13a59dd5
Add latest headers from Linux kernel 2.6.25.1{1,2}.

 /trunk/config/kernel/linux_headers_install.in |   12    12     0     0 ++++++++++++
 1 file changed, 12 insertions(+)

diff -r 6c5084999910 -r 0bdbc96fecc0 config/kernel/linux_headers_install.in
--- a/config/kernel/linux_headers_install.in	Sun Jul 27 16:52:53 2008 +0000
+++ b/config/kernel/linux_headers_install.in	Mon Jul 28 11:43:29 2008 +0000
@@ -125,6 +125,16 @@
     prompt "2.6.25.10"
     depends on KERNEL_VERSION_SEE_EXTRAVERSION
 
+config KERNEL_INSTALL_V_2_6_25_11
+    bool
+    prompt "2.6.25.11"
+    depends on KERNEL_VERSION_SEE_EXTRAVERSION
+
+config KERNEL_INSTALL_V_2_6_25_12
+    bool
+    prompt "2.6.25.12"
+    depends on KERNEL_VERSION_SEE_EXTRAVERSION
+
 config KERNEL_INSTALL_V_2_6_26
     bool
     prompt "2.6.26"
@@ -160,6 +170,8 @@
     default "2.6.25.8" if KERNEL_INSTALL_V_2_6_25_8
     default "2.6.25.9" if KERNEL_INSTALL_V_2_6_25_9
     default "2.6.25.10" if KERNEL_INSTALL_V_2_6_25_10
+    default "2.6.25.11" if KERNEL_INSTALL_V_2_6_25_11
+    default "2.6.25.12" if KERNEL_INSTALL_V_2_6_25_12
     default "2.6.26" if KERNEL_INSTALL_V_2_6_26
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!