> Could you provide a link to the xnu source code > so that we can double-check what they're doing and why?
The XNU is open-source but its drivers are closed source (which includes the thunderbolt drivers), so unfourtunatly i cant provide the source code of the thunderbolt drivers in macOS.
