6 cd system/script && vivado -mode batch -nolog -nojournal -source recreate.tcl
8 cd system/script && vivado -mode batch -nolog -nojournal -source build.tcl
10 petalinux_config: system/system.hdf
11 $(MAKE) -C petalinux config
13 $(MAKE) -C petalinux build bootscript