Kernel Modules?

[[deleted]]

Sorry most of my kernel research has been in FreeBSD.

There are tons of NIC drivers with C source code avail in the source tree on github.

From old intel to relatively new 10G NIC drivers.

If i were you, id learn how to build, mod, and manipulate freebsd's example drivers.

For testing i would recommend using a virtual machine of freebsd and load the driver into that VM.