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!
7 #include <kernel_base.h>
8 #include <kernel_debug.h>
10 void cpu_Switch(regs_t
*regs
)
12 bug("[KRN] KERNEL PANIC! cpu_Switch() is not implemented!\n");
16 void cpu_Dispatch(regs_t
*regs
)
18 bug("[KRN] KERNEL PANIC! cpu_Dispatch() is not implemented!\n");