Couldn't find the words "controller", "dual shock" or "drivers" at either link.
I searched - Did I miss it?
Those links are about the software on the console itself - I didn't see anything pertaining to interfacing with a controller over bluetooth using your own drivers on a non PS4 device.
Where is that addressed? (I'm honestly asking)
The interface software for the controller is a part of the operating system, and in that paragraph it's covered by library programs. Which refers to the various pieces of software and parts of the firmware, which they also (just to confuse all of us) refer to as being part of the system software they create to control and interface with the various hardware components including, but not limited to external interfaces (DualShock 4, Playstation Move, The Camera and so on.)