...
For more info regarding the regs.init file content please see Xilinx UG1283 ("Initialization Pairs and INT File Attribute" section).Initialization Pairs and INT File AttributeI
The following line illustrate how to instruct the PetaLinux using the "regs.init" file:
...