1 2 3 4 5
void init_e1000() { scr_put_string_nl("initializing E1000 Intel PCI Ethernet Controller (TODO)"); }