LKML Archive on
help / color / mirror / Atom feed
From: Thomas Petazzoni <>
To: Andrew Morton <>,
	Ingo Molnar <>, Thomas Gleixner <>,
	"H. Anvin" <>, Matt Mackall <>
Subject: [PATCH] Configure out doublefault exception handler (Linux Tiny)
Date: Tue, 12 Feb 2008 11:08:25 +0100	[thread overview]
Message-ID: <20080212110825.35db27cb@crazy> (raw)

[-- Attachment #1: Type: text/plain, Size: 2268 bytes --]


Enclosed patch allows to configure out the doublefault exception
handler. The original patch of Matt Mackall added the option in
init/Kconfig, but because this is a x86-specific thing, I thought
arch/x86/Kconfig would be a better place. Is that correct ?

This patch applies on top on the DMI scanning code patch I've sent
yesterday, because the DOUBLEFAULT config option is right after the DMI
config option. Is that ok, or should I propose a patch on top of a
vanilla 2.6.25-rc1 ?

Thanks for your review and comments,



This patch adds the ability to disable the doublefault exception
handler, in order to save some kernel space. The doublefault exception
handler was already conditionnaly compiled using CONFIG_DOUBLEFAULT,
but there was no way to change the value of this configuration
option. The option is only visible if CONFIG_EMBEDDED is selected, in
order to not confuse other users.

The kernel space savings are as follows:

   text    data     bss     dec     hex filename
1076076  128656   98304 1303036  13e1fc vmlinux.before
1075772  119952   94208 1289932  13aecc vmlinux.after
   -304   -8704   -4096  -13104   -3330 +/-

This patch is part of the Linux Tiny project, and is based on previous
work by Matt Mackall <>.

Signed-off-by: Thomas Petazzoni <>

 arch/x86/Kconfig |    7 +++++++
 1 file changed, 7 insertions(+)

Index: linux/arch/x86/Kconfig
--- linux.orig/arch/x86/Kconfig
+++ linux/arch/x86/Kconfig
@@ -439,6 +439,13 @@
 	  affected by entries in the DMI blacklist. Required by PNP
 	  BIOS code.
+	default y
+	bool "Enable doublefault exception handler" if EMBEDDED
+	help
+	  This option allows trapping of rare doublefault exceptions
+	  that would otherwise cause a system to silently reboot.
 config GART_IOMMU
 	bool "GART IOMMU support" if EMBEDDED
 	default y

Thomas Petazzoni,,
Toulibre, - APRIL,
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

             reply	other threads:[~2008-02-12 10:35 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-02-12 10:08 Thomas Petazzoni [this message]
2008-02-12 13:04 ` Sam Ravnborg
2008-02-12 14:00   ` Thomas Petazzoni
2008-02-12 16:02     ` Matt Mackall
2008-02-15 12:00       ` Andi Kleen
2008-02-15 17:02         ` Matt Mackall
2008-02-15 18:04           ` Andi Kleen
2008-02-15 17:52             ` Matt Mackall
2008-02-17 17:59 ` Ingo Molnar

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20080212110825.35db27cb@crazy \ \ \ \ \ \ \ \ \
    --subject='Re: [PATCH] Configure out doublefault exception handler (Linux Tiny)' \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).