I had to apply the following diff to sys/arch/pc532/include/db_machdep.h
to get a kernel to compile with "options DDB" in the config file...

Anyone else have these problems?  It all seems to compile fine without
the extra include file.  Is this a real problem in the tree, or just me?

*** db_machdep.orig     Tue Sep  2 21:36:10 1997
--- db_machdep.h        Tue Sep  2 21:36:35 1997
***************
*** 49,55 ****
  #include <vm/vm_prot.h>
  #include <vm/vm_param.h>
  #include <vm/vm_inherit.h>
- #include <vm/lock.h>
  
  #include <machine/reg.h>              /* For struct reg */
  #include <machine/psl.h>
--- 49,54 ----

Jon Buller