This seems like a great intro to Linux PCIe device drivers. I've never worked with Linux device drivers but have worked with multiple PCIe drivers on a different operating system years ago, and the concepts look very familiar. Love to see more of this type of content in the world.
