Tool/software: Linux
1. After executing "make linux", it is unclear what output file was produced and where it is located. What is the output file name? The destination path may be in one of the configuration files - makefile. rules.make, tisdk_am437x-evm_defconfig, am43xx_evm_config, environment.setup. I haven't located all of them.
2. When executing create-sdcard.sh, the tool chose default tar files as input. I want the output from Step 1 to make a bootable Linux kernel SD card.
