insmod /lib/modules/4.9.0-xilinx-v2017.3/extra/irqgen.ko && /mnt/microsd/measuring.sh insmod /lib/modules/4.9.0-xilinx-v2017.3/extra/irqgen.ko insmod /lib/modules/4.9.0-xilinx-v2017.3/extra/irqgen_dbg.ko /mnt/microsd/measuring.sh /mnt/microsd/measuring_test.sh cd /./mnt/microsd/ echo 13 > /sys/kernel/irqgen/line && echo 50 > /sys/kernel/irqgen/amount cat /dev/irqgen tail -f /dev/irqgen | tee -a ~/latencies.csv & tail -n 1 -f /dev/irqgen | tee -a /root/latencies.csv | 1> /dev/null & Pynq 172.16.42.101 VM 172.16.42.1 RT Patch: insmod /lib/modules/4.9.0-rt1-xilinx-v2017.3/extra/irqgen.ko Line = 5 <---> 51 chrt -f -p 99 <PID> echo 1000000 > /proc/sys/kernel/sched_rt_runtime_us && cat /proc/sys/kernel/sched_rt_runtime_us ssh-keygen -f "/home/student/.ssh/known_hosts" -R "172.16.42.101"; ssh root@172.16.42.101