K 10 svn:author V 3 imp K 8 svn:date V 27 2009-01-15T07:51:17.603020Z K 7 svn:log V 177 Call platform_reset() instead of looping forever on reboot. # We likely need to have a default one of these that jumps to the rom boot # address that's defined in the MIPS ISA. END