It is a feature of the DDR controller in the Zynq SoC so it could be done for any OS.