K 10 svn:author V 6 andrew K 8 svn:date V 27 2017-06-03T19:11:32.466963Z K 7 svn:log V 118 Port the Xilinx code to use PLATFORM and PLATFORM_SMP. This will help move it to be part of the armv6 GENERIC kernel. END