# Used by the device build to check for device support
#

DEV_SUPPORT=	virtual/vkernel