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

Philippe Gerum rpm at xenomai.org
Tue Feb 7 11:32:34 CET 2017


On 02/06/2017 11:52 PM, Dmitriy Cherkasov wrote:
> 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"
>  
> 

This patch would break the ARM32 side. This is an associative array
shared by all archs. The logic of genpatches.sh needs significant rework
for handling the case of driver code shared by multiple archs.

-- 
Philippe.



More information about the Xenomai mailing list