[Xenomai] [PATCH] ipipe: add missing drivers to genpatches script for arm64

[Dmitriy Cherkasov]

This adds the clocksource and GIC drivers to the arm64 patch.
---
 scripts/ipipe/genpatches.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/ipipe/genpatches.sh b/scripts/ipipe/genpatches.sh
index 07b6cf3..e2846a4 100755
--- a/scripts/ipipe/genpatches.sh
+++ b/scripts/ipipe/genpatches.sh
@@ -107,6 +107,9 @@ BEGIN {
 
     driver_arch["tty/serial/amba-pl011.c"]="arm64"
     driver_arch["gpio/gpio-pl061.c"]="arm64"
+    driver_arch["clocksource/arm_arch_timer.c"]="arm64"
+    driver_arch["irqchip/irq-gic.c"]="arm64"
+    driver_arch["irqchip/irq-gic-v3.c"]="arm64"
 
     driver_arch["tty/serial/bfin_uart.c"]="blackfin"
 
-- 
1.9.1