« Previous | Next » 

Revision a61e4b07

IDa61e4b07a30c062260d2d01771773f14820d1eb7

Added by Peter A. G. Crosthwaite almost 12 years ago

xilinx_timer: changed device name

Changed device name to xlnx,xps-timer. This is the exact name of the device
in the xilinx EDK development tools.

Signed-off-by: Peter A. G. Crosthwaite <>
Signed-off-by: Edgar E. Iglesias <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences