diff options
Diffstat (limited to 'kern/linux/linux_system.cc')
| -rw-r--r-- | kern/linux/linux_system.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kern/linux/linux_system.cc b/kern/linux/linux_system.cc index b6aa9c6f2..a9c92b54a 100644 --- a/kern/linux/linux_system.cc +++ b/kern/linux/linux_system.cc @@ -109,12 +109,13 @@ LinuxSystem::LinuxSystem(Params *p) kernelPanicEvent->schedule(addr); else panic("could not find kernel symbol \'panic\'"); - +#if 0 kernelDieEvent = new BreakPCEvent(&pcEventQueue, "die if kernel"); if (kernelSymtab->findAddress("die_if_kernel", addr)) kernelDieEvent->schedule(addr); else panic("could not find kernel symbol \'die_if_kernel\'"); +#endif #endif |