This is the initial version of Inter Processor Interrupt (IPI) driver for ZynqMP,including the required tcl and an example on using the driver. Signed-off-by: Jyotheeswar Reddy <jyothee@xilinx.com>