The Vitis software platform supports Linux BSP generation for peripherals in the PS as well as custom IP in the PL. When generating a Linux BSP, the Vitis software platform produces a device tree, which is a data structure describing the hardware system that passes to the kernel when you boot.
Device drivers are available as part of the kernel or as separate modules, and the device tree defines the set of hardware functions available and features enabled.
Additionally, you can add dynamic, loadable drivers. The Linux kernel supports these drivers. Custom IP in the PL are highly configurable, and the device tree parameters define both the set of IP available in the system and the hardware features enabled in each IP.
See Development Tools for additional overview information on the Linux Kernel and boot sequence.