Is it sill needed the jetson.gpio library and make udev rules to use hats raspeberry pi compatible hats, use circuitpython libraries etc?
you may have to update the pin configuration by customize pinmux spreadsheets.
please also refer to documentation, Configuring the 40-Pin Expansion Header chapter for reference.
great, thank you I added SPI1. just add maybe could be a very good thing add a predefined RPi setup in the hardware section of that nice python app