|
|
| Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
| version 1.22, 2004/02/13 11:36:13 | version 1.23, 2004/02/16 17:11:27 | ||
|---|---|---|---|
|
|
||
| #include "opt_compat_oldboot.h" | #include "opt_compat_oldboot.h" | ||
| #include "opt_cputype.h" | #include "opt_cputype.h" | ||
| #include "opt_ddb.h" | #include "opt_ddb.h" | ||
| #include "opt_dummy_nops.h" | |||
| #include "opt_ipkdb.h" | #include "opt_ipkdb.h" | ||
| #include "opt_lockdebug.h" | #include "opt_lockdebug.h" | ||
| #include "opt_multiprocessor.h" | #include "opt_multiprocessor.h" |