ERROR:MDT - issued from TCL procedure "::sw_xilkernel_v4_00_a::kernel_drc"
line 13
xilkernel () - Xilkernel for Microblaze requires a system timer device to be specified.
Please choose a valid peripheral instance in the systmr_dev parameter. MFS DRC ...
ERROR:MDT - Error while running DRC for processor microblaze_0...