-#if 0 /* FIXME */
-
-#include <norma_vm.h>
-#include <task_swapper.h>
-#include <thread_swapper.h>
-
-#if defined(AT386)
-#include <i386/cpuid.h>
-#endif
-
-#if !NORMA_VM
-#if !TASK_SWAPPER && !THREAD_SWAPPER
-#define KERNEL_STACK_SIZE (I386_PGBYTES/2)
-#else
-/* stack needs to be a multiple of page size to get unwired when swapped */
-#define KERNEL_STACK_SIZE (I386_PGBYTES)
-#endif /* TASK || THREAD SWAPPER */
-#define INTSTACK_SIZE (I386_PGBYTES) /* interrupt stack size */
-#else /* NORMA_VM */
-#define KERNEL_STACK_SIZE (I386_PGBYTES*2)
-#define INTSTACK_SIZE (I386_PGBYTES*2) /* interrupt stack size */
-#endif /* NORMA_VM */
-#endif /* MACH_KERNEL */
-