Raspberry Pi port, piCore-15.0 is available!
Using binaries from upstream (stable) works for me.
Hi gmcThe info tab in AppBrowser will show you where the source code for building syslinux came from.
http://www.syslinux.org/wiki/index.php/Common_Problems#Official_Binaries
I never did anything else than just untar.
Could not find kernel image: menu.c32