path: root/debian.master/etc/kernelconfig

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