FreeBSD implement Linux KPI to support the modern Linux DRM system (drm-kmod), as this is the biggest GPU open source kernel drivers of the world.
https://wiki.freebsd.org/Graphics
https://www.freshports.org/graphics/drm-kmod/
Which solution for DRM are you looking on Redox? maybe doing the same as FreeBSD by implementing the Linux kernel API?