version 1.1.1.1, 2008/06/03 10:38:45 |
version 1.1.1.1.2.1, 2008/08/13 17:12:30 |
|
|
*/ |
*/ |
|
|
#include <kernel.h> |
#include <kernel.h> |
|
#include <locore.h> |
#include <cpu.h> |
#include <cpu.h> |
|
|
/* |
/* |
|
|
/* |
/* |
* Try to do keyboard reset. |
* Try to do keyboard reset. |
*/ |
*/ |
cli(); |
interrupt_disable(); |
outb(0xfe, 0x64); |
outb(0xfe, 0x64); |
for (i = 0; i < 10000; i++) |
for (i = 0; i < 10000; i++) |
outb(0, 0x80); |
outb(0, 0x80); |
|
|
} |
} |
|
|
/* |
/* |
|
* Idle |
|
*/ |
|
void |
|
machine_idle(void) |
|
{ |
|
|
|
cpu_idle(); |
|
} |
|
|
|
|
|
/* |
* Machine-dependent startup code |
* Machine-dependent startup code |
*/ |
*/ |
void |
void |
|
|
{ |
{ |
|
|
cpu_init(); |
cpu_init(); |
|
|
#ifdef CONFIG_GDB |
#ifdef CONFIG_GDB |
gdb_init(); |
gdb_init(); |
#endif |
#endif |