Changeset 1f0d2ee9 in mainline

Timestamp:

2008-06-03T12:33:46Z (17 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

00db5bcf

Parents:

c12ab46

Message:

remove ARM machine option
add CONFIG_EDEBUG option

File:

• kernel/kernel.config (modified) (2 diffs)

kernel/kernel.config

@@ -85 +85 @@
 ! [ARCH=mips32] MACHINE (choice)
 
-# Machine type
-@ "gxemul_testarm" GXEmul testarm
-! [ARCH=arm32] MACHINE (choice)
-
-
 # Framebuffer support
-! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32&MACHINE=gxemul_testarm)] CONFIG_FB (y/n)
+! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32)] CONFIG_FB (y/n)
 
 # Framebuffer width
@@ -157 +152 @@
 ! CONFIG_DEBUG (y/n)
 
+# Extensive debugging output
+! [CONFIG_DEBUG=y] CONFIG_EDEBUG (n/y)
+
 # Deadlock detection support for spinlocks
 ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)