# Empty dependencies file for microkernels-all.
# This may be replaced when dependencies are built.