Raspberry Pi port, piCore-15.0 is available!
Any changes in the configure line or did you just build the latest revision ? If so can you please send me the patch to commit to the server ?