src/platform.d: ../src/platform.c \
 ../../standalone_bsp_0/microblaze_0/include/xparameters.h \
 ../src/platform_config.h

../../standalone_bsp_0/microblaze_0/include/xparameters.h:

../src/platform_config.h:
