Raspberry Pi port, piCore-15.0 is available!
Please add the bootcode "debug", see if any interesting messages are posted around the hang.