# Empty compiler generated dependencies file for microkernels-prod.
# This may be replaced when dependencies are built.