psdk_setup_file=.psdk_setup
check_psdk_setup=load mmc 1:1 ${loadaddr} ${psdk_setup_file}

# Reset to the default environment
do_psdk_setup=env default -f -a; saveenv

# If not previously configured, then configure the environment and indicate this by writing a file
uenvcmd=if run check_psdk_setup; then echo "Already setup."; else run do_psdk_setup; mw.b ${loadaddr} 0 1; fatwrite mmc 1:1 ${loadaddr} .psdk_setup 1; reset; fi

dorprocboot=1
bootcmd=run boot_rprocs; fatload mmc 1 80080000 qnx-ifs-spl; go 0x80080000
uenvcmd=boot