PixHawk Driver Linux

Hi! Can someone please explain why no driver is needed for PixHawk on Linux?

Pixhawk has just a standard USB CDC serial port, so drivers are already installed in the OS.