Just to inform that:
The link to Jetson Linux Developer Guide (online version) in L4T R32.5.1 Release Page
is incorrect. It points to the current ( Jetson™ Linux version 34.1.1) Developer Guide.
Please check it in the below link, and see the attached images.
Thanks NVIDIA for support and valuable products and documentations.