path: root/debian.linaro/etc/kernelconfig

if [ "$variant" = "ports" ]; then
	archs=""
	family='ports'
else
	archs="armel armhf"
	family='ubuntu'
fi