Xilinx Microblaze copyrights question

[Hesham Moustafa]

Hi,

I am currently porting RTEMS to Microblaze based on Joel's work. Hello
world hits Init and printf successfully, so I have to write a console
driver. Xilinx has UART driver already. The question is can I copy
code from Xilinx files to RTEMS? The files have "(c) Copyright
2002-2013 Xilinx, Inc. All rights reserved." lines only.

P.S. Joel's work quotes files from Xilinx as is.

Best,
Hesham