config() {
	:
}

try_config() {
	:
}

device() {
	:
}

factory_image() {
	:
}

sysupgrade_image() {
	:
}

alias() {
	:
}

manifest_alias() {
	:
}

packages() {
	:
}

factory() {
	:
}

sysupgrade() {
	:
}

extra_image() {
	:
}

no_opkg() {
	:
}


unknown_devices="$DEVICES"

want_device() {
	[ "$DEVICES" ] || return 0

	local new_devices=''

	for device in $unknown_devices; do
		if [ "$device" != "$1" ]; then
			new_devices="${new_devices:+${new_devices} }$device"
		fi
	done
	unknown_devices=$new_devices

	for device in $DEVICES; do
		if [ "$device" = "$1" ]; then
			return 0
		fi
	done

	return 1
}

check_devices() {
	if [ "$unknown_devices" ]; then
		echo "Error: unknown devices given: ${unknown_devices}" >&2
		exit 1
	fi
}
