I'd expect that once the Linux Kernel knows how to talk to the PCIe bus (probably already upstream), then everything should just work. I'd assume Mesa...