Petter1, 5 months ago

I don’t know Debian really, i heard that the kernel is somewhat old, but if you use the proprietary drivers anyway, It should not matter