Thomas Letan via Syslinux wrote (04 Aug 2015 14:40:14 GMT) : > I assume the .config is public. We use the kernel from Debian (currently Debian 8 "Jessie" 's one), so yes, it's public.