+ outb(CRTC_IDX_REG, idx);
+ return inb(CRTC_DATA_REG);
+}
+
+static unsigned int vga_base()
+{
+ return (((unsigned int) vga_read(CRTC_START_ADDR_MSB_IDX)) << 9)
+ + (((unsigned int) vga_read(CRTC_START_ADDR_LSB_IDX)) << 1);
+}
+
+void handle_command(packet_t * p)
+{
+ uint16_t dl = htons(p->datalen);
+ int i;
+
+ outputf("NIC: Command: 0x%x, %d bytes", p->command, dl);
+
+ if (p->command == 0x42)