config/debug/duma.in
changeset 850 ef8549b58b6f
parent 572 944e145f3890
child 916 68af6b83ff7e
     1.1 --- a/config/debug/duma.in	Tue Jun 17 22:28:17 2008 +0000
     1.2 +++ b/config/debug/duma.in	Sun Sep 14 16:21:07 2008 +0000
     1.3 @@ -4,6 +4,7 @@
     1.4      bool
     1.5      prompt "D.U.M.A."
     1.6      default n
     1.7 +    depends on ! BARE_METAL
     1.8      help
     1.9        D.U.M.A. - Detect Unintended Memory Access
    1.10        A memory bound checker, with additional features.