The System Settings Configuration Menu is to provide the user with a facility to configure their platform specific settings into the PetaLinux build framework. By using the Kernel Configuration Menu, it allows the user s platform specific settings to