4 #include "vga-overlay.h"
6 void __firstrun_start() {
7 dologf("NetWatch running");
9 /* Try really hard to shut up USB_LEGKEY. */
10 pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
11 pci_write16(0, 31, 2, 0xC0, 0);
12 pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
13 pci_write16(0, 31, 4, 0xC0, 0);
15 /* Turn on the SMIs we want */
16 outb(0x830, inb(0x830) | 0x40);