Jetson Orin Nano 8GB and J401 carrier board

Hello,
What are the correct install instructions for flashing Jetson Linux onto the Jetson Orin Nano on a J401 board? I notice that the instructions at reComputer J4012 | J401 | Seeed Studio Wiki seem to be targeting the Orin NX.