Since we are looking at PCI Ethernet drivers written in languages other than C (fun!) here is one written in Forth too: https://github.com/openbios/openfirmware/blob/master/dev/ne2...

Good to remember that C and Unix kernels haven't always had a monopoly on device drivers.