K 10 svn:author V 5 jceel K 8 svn:date V 27 2012-07-19T20:05:31.911400Z K 7 svn:log V 179 TI port refactoring: switched to INTRNG and mmu_init() in ti_machdep.c. There's some problem with PL310 L2 cache controller which hangs up the system - this will be investigated. END