mlx3

[YtvwlD]

Since #404, there's a driver for Mellanox ConnectX-5 cards (mlx5). I haven't used it, but over the next months, I'd like to add a new driver for the ConnectX-3 (and possibly also the ConnectX-4) which would then be called mlx3.

I've made a few small PRs over the last weeks because I was trying to get Theseus up and running on a few real devices (and I'm afraid I have another one almost ready).

This mlx3 driver would be part of my master's thesis and be (very) roughly based on the one in Nautilus.

So, if there's any advice (including "please don't" 🙃), I'll gladly take it. :)

(I'm not sure whether an issue is the right place to discuss this, feel free to close if you don't think this warrants one.)