| 2830 |
pic_set_irq(0, 0); |
pic_set_irq(0, 0); |
| 2831 |
timer_irq_pending = 0; |
timer_irq_pending = 0; |
| 2832 |
/* XXX: RTC test */ |
/* XXX: RTC test */ |
| 2833 |
if (cmos_data[RTC_REG_B] & 0x40) { |
if (cmos_data[RTC_REG_B] & 0x50) { |
| 2834 |
pic_set_irq(8, 1); |
pic_set_irq(8, 1); |
| 2835 |
} |
} |
| 2836 |
} |
} |
| 3058 |
|
|
| 3059 |
if (!linux_boot && hd_filename[0] == '\0' && hd_filename[2] == '\0') |
if (!linux_boot && hd_filename[0] == '\0' && hd_filename[2] == '\0') |
| 3060 |
help(); |
help(); |
| 3061 |
|
|
| 3062 |
|
/* boot to cd by default if no hard disk */ |
| 3063 |
|
if (hd_filename[0] == '\0' && boot_device == 'c') |
| 3064 |
|
boot_device = 'd'; |
| 3065 |
|
|
| 3066 |
/* init debug */ |
/* init debug */ |
| 3067 |
setvbuf(stdout, NULL, _IOLBF, 0); |
setvbuf(stdout, NULL, _IOLBF, 0); |