rom/kernel/kernel_cpu.c

   1 /*
   2  * This file is intended to make generic kernel.resource compiling.
   3  * This code should NEVER be executed. This file MUST be overriden in
   4  * architecture-specific code for the scheduler to work!
   5  */
   6
   7 #include <kernel_base.h>
   8 #include <kernel_debug.h>
   9
  10 void cpu_Switch(regs_t *regs)
  11 {
  12     bug("[KRN] KERNEL PANIC! cpu_Switch() is not implemented!\n");
  13     for (;;);
  14 }
  15
  16 void cpu_Dispatch(regs_t *regs)
  17 {
  18     bug("[KRN] KERNEL PANIC! cpu_Dispatch() is not implemented!\n");
  19     for (;;);
  20 }