# config
# The "dev" platform has no linux-image package.  Therefore, this file is empty.