Raspberry Pi port, piCore-15.0 is available!
/usr/local/bin/dCore-install: line 648: /usr/local/bin/syslinux: not found