Similar solution from FreeBSD to DRM support

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.

Which solution for DRM are you looking on Redox? maybe doing the same as FreeBSD by implementing the Linux kernel API?