Misc microblaze patches. Chris Wulff (1): xilinx_timer: Fix a compile error if debug enabled
Peter A. G. Crosthwaite (5): xilinx_timer: Removed comma in device name xilinx_timer: Send dbg msgs to stderr not stdout xilinx_timer: Fixed "frequency" prop name xilinx.h: Error check when setting links xilinx: fix names of ethernet and dma links. hw/xilinx.h | 16 ++++++++++++---- hw/xilinx_timer.c | 16 +++++++++------- 2 files changed, 21 insertions(+), 11 deletions(-)
