Hi,
In the “NVSCI APIs on Jetson Linux” section, it mentioned that the libraries are available in BSP by default.
Headers and configuration files can be found in the public_sources.tbz2.
Please download it on the below page: (L4T Driver Package (BSP) Sources)
Thanks.