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); |