Xqemu.sh

# vague instructions for failing to repro the RedPitaya global timer crash in QEMU 

git clone git://github.com/Xilinx/qemu.git Xqemu
cd Xqemu
git checkout xilinx-v2018.4
sudo apt install git libglib2.0-dev libfdt-dev libpixman-1-dev zlib1g-dev build-essential python
mkdir build && cd build
../configure --target-list="aarch64-softmmu,microblazeel-softmmu" --enable-fdt --disable-kvm --disable-xen
make -j
# obtain a Zynq image from https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18842389/Zynq+2014.4+Release?preview=/18842389/18849638/2014.4-release.tar.xz
# run the Xilinx image.
./Xqemu/build/aarch64-softmmu/qemu-system-aarch64 -M arm-generic-fdt-7series \
 -machine linux=on -serial /dev/null -serial mon:stdio -display none \
 -kernel 2014.4-release/uImage -dtb 2014.4-release/zc70x/zc702/devicetree.dtb \
 --initrd 2014.4-release/uramdisk.image.gz -redir tcp:2222::22

# obtain build tools
sudo apt-get install gcc-arm-linux-gnueabi g++-arm-linux-gnueabi
git clone https://github.com/Xilinx/linux-xlnx.git && cd linux-xlnx && git checkout xilinx-v2014.4
# you could use make headers-install ../headers now to get a clean set of headers for the running os

arm-linux-gnueabi-gcc -L linux-xlnx/include test.c -o test
scp -P 2222 -o "UserKnownHostsFile=/dev/null" -o "StrictHostKeyChecking=no" test root@localhost:

# in QEMU
./test # does not lock the system.