We added bitlash as Xilinx SDK many month ago, is also fully integrated now. There is some weird thing about the library add order to make the bsp to compile, but when done right all compile out of box.