Oracle Linux Security Developer To AMD: "Smatch" Your Driver

Dan Carpenter of Oracle who is responsible for security audits of the Linux kernel is not happy with the current state of the AMDGPU DRM code-base...