The boot sequence

I was told that the boot sequence of Jetson TX2 is SD card and then emmc but according to the menu , SD boot function is not available on TX2.