K 10 svn:author V 3 ian K 8 svn:date V 27 2014-05-17T23:25:20.735367Z K 7 svn:log V 293 MFC 265099, 265148, 265690: Add SMP support for Zedboard. Use edge-triggered interrupts rather than polling loops to avoid missing transitions of the INIT_B line. Also, release the mutex during uiomove(). Convert the Zynq SoC support to the new routines for static device mapping. END