src/platform.d: ../src/platform.c \
 ../../hello_world_bsp_0/microblaze_0/include/xparameters.h \
 ../../hello_world_bsp_0/microblaze_0/include/xil_cache.h \
 ../../hello_world_bsp_0/microblaze_0/include/mb_interface.h \
 ../../hello_world_bsp_0/microblaze_0/include/xbasic_types.h \
 ../../hello_world_bsp_0/microblaze_0/include/xil_types.h \
 ../../hello_world_bsp_0/microblaze_0/include/xparameters.h \
 ../src/platform_config.h

../../hello_world_bsp_0/microblaze_0/include/xparameters.h:

../../hello_world_bsp_0/microblaze_0/include/xil_cache.h:

../../hello_world_bsp_0/microblaze_0/include/mb_interface.h:

../../hello_world_bsp_0/microblaze_0/include/xbasic_types.h:

../../hello_world_bsp_0/microblaze_0/include/xil_types.h:

../../hello_world_bsp_0/microblaze_0/include/xparameters.h:

../src/platform_config.h:
