build system: improvements
- add to documentation
- where what should be configured (e.g. device tree in configs/, applications in petalinux/)
- which
make [command]
must be used after updating different types of configuration
- add
make [command]
directly related to different types of configuration/folders, i.e.
In this way, when I update something in configs, I do not need to worry which command of make I should runmake configs_force make petalinux_force make gw_force make patches_force
- remove from petalinux/project-spec/ all the files that are not used (e.g in petalinux/project-spec/meta-user/recipes-bsp/)