* [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
@ 2017-11-14 12:59 MINIER Bertrand
2017-11-14 13:46 ` Christoph Müllner
0 siblings, 1 reply; 5+ messages in thread
From: MINIER Bertrand @ 2017-11-14 12:59 UTC (permalink / raw)
To: xenomai
Hi,
I am trying to install the COBALT kernel alongside the linux v4.9.24 for the target AArch64 Cortex-A53.
I have executed the following script:
./scripts/prepare-kernel.sh --linux=../../linux-repo --ipipe../../ipipe-core-4.9.24-arm64-2.patch --arch=arm
The xenomai code and ipipe patch came from the xenomai downloads site and the linux kernel comes from kernel.org
Can someone please help me understand why prepare-kernel.sh is failing?
Here's the output I got from the perpare-kernel.sh script:
patching file arch/arm64/Kconfig
patching file arch/arm64/include/asm/assembler.h
patching file arch/arm64/include/asm/ipipe.h
patching file arch/arm64/include/asm/ipipe_base.h
patching file arch/arm64/include/asm/ipipe_hwirq.h
patching file arch/arm64/include/asm/irqflags.h
patching file arch/arm64/include/asm/mmu_context.h
patching file arch/arm64/include/asm/proc-fns.h
patching file arch/arm64/include/asm/smp_plat.h
patching file arch/arm64/include/asm/thread_info.h
patching file arch/arm64/include/asm/uaccess.h
patching file arch/arm64/include/asm/unistd.h
patching file arch/arm64/kernel/Makefile
patching file arch/arm64/kernel/asm-offsets.c
patching file arch/arm64/kernel/entry.S
patching file arch/arm64/kernel/fpsimd.c
patching file arch/arm64/kernel/ipipe.c
patching file arch/arm64/kernel/process.c
patching file arch/arm64/kernel/ptrace.c
patching file arch/arm64/kernel/setup.c
patching file arch/arm64/kernel/signal.c
patching file arch/arm64/kernel/smp.c
patching file arch/arm64/kernel/traps.c
patching file arch/arm64/mm/context.c
patching file arch/arm64/mm/fault.c
patching file drivers/clocksource/arm_arch_timer.c
patching file drivers/clocksource/timer-sp804.c
patching file drivers/gpio/gpio-pl061.c
patching file drivers/irqchip/irq-gic-v3.c
patching file drivers/irqchip/irq-gic.c
patching file drivers/tty/serial/amba-pl011.c
patching file drivers/cpuidle/Kconfig
patching file drivers/iommu/irq_remapping.c
patching file drivers/tty/serial/8250/8250_core.c
patching file fs/exec.c
patching file include/asm-generic/atomic.h
patching file include/asm-generic/bitops/atomic.h
patching file include/asm-generic/cmpxchg-local.h
patching file include/asm-generic/percpu.h
patching file include/asm-generic/preempt.h
patching file include/asm-generic/switch_to.h
patching file include/clocksource/timer-sp804.h
patching file include/ipipe/setup.h
patching file include/ipipe/thread_info.h
patching file include/linux/clockchips.h
patching file include/linux/clocksource.h
patching file include/linux/console.h
patching file include/linux/ftrace.h
patching file include/linux/gpio/driver.h
patching file include/linux/hardirq.h
patching file include/linux/i8253.h
patching file include/linux/ipipe.h
patching file include/linux/ipipe_base.h
patching file include/linux/ipipe_compat.h
patching file include/linux/ipipe_debug.h
patching file include/linux/ipipe_domain.h
patching file include/linux/ipipe_lock.h
patching file include/linux/ipipe_tickdev.h
patching file include/linux/ipipe_trace.h
patching file include/linux/irq.h
patching file include/linux/irqchip/arm-gic.h
patching file include/linux/irqdesc.h
patching file include/linux/irqnr.h
patching file include/linux/kernel.h
patching file include/linux/kvm_host.h
patching file include/linux/preempt.h
patching file include/linux/printk.h
patching file include/linux/rwlock.h
patching file include/linux/rwlock_api_smp.h
patching file include/linux/sched.h
patching file include/linux/spinlock.h
patching file include/linux/spinlock_api_smp.h
patching file include/linux/spinlock_up.h
patching file include/linux/timekeeper_internal.h
patching file include/soc/fsl/qe/qe_ic.h
patching file include/uapi/asm-generic/mman-common.h
patching file include/uapi/asm-generic/resource.h
patching file include/uapi/linux/resource.h
patching file init/Kconfig
patching file init/main.c
patching file kernel/Makefile
patching file kernel/context_tracking.c
patching file kernel/debug/debug_core.c
patching file kernel/debug/gdbstub.c
patching file kernel/exit.c
patching file kernel/fork.c
patching file kernel/ipipe/Kconfig
patching file kernel/ipipe/Kconfig.debug
patching file kernel/ipipe/Makefile
patching file kernel/ipipe/compat.c
patching file kernel/ipipe/core.c
patching file kernel/ipipe/ipipe.c
patching file kernel/ipipe/timer.c
patching file kernel/ipipe/tracer.c
patching file kernel/irq/chip.c
patching file kernel/irq/generic-chip.c
patching file kernel/irq/internals.h
patching file kernel/irq/irqdesc.c
patching file kernel/irq/manage.c
patching file kernel/locking/lockdep.c
patching file kernel/locking/spinlock.c
patching file kernel/module.c
patching file kernel/panic.c
patching file kernel/power/hibernate.c
patching file kernel/printk/printk.c
patching file kernel/sched/core.c
patching file kernel/sched/idle.c
patching file kernel/sched/wait.c
patching file kernel/signal.c
patching file kernel/time/clockevents.c
patching file kernel/time/clocksource.c
patching file kernel/time/tick-common.c
patching file kernel/time/tick-sched.c
patching file kernel/time/timekeeping.c
patching file kernel/time/timer.c
patching file kernel/trace/Kconfig
patching file kernel/trace/ftrace.c
patching file kernel/trace/ring_buffer.c
patching file kernel/trace/trace.c
patching file kernel/trace/trace_clock.c
patching file kernel/trace/trace_functions.c
patching file kernel/trace/trace_functions_graph.c
patching file kernel/trace/trace_irqsoff.c
patching file lib/Kconfig.debug
patching file lib/atomic64.c
patching file lib/bust_spinlocks.c
patching file lib/ioremap.c
patching file lib/smp_processor_id.c
patching file mm/memory.c
patching file mm/mlock.c
patching file mm/mmap.c
patching file mm/mmu_context.c
patching file mm/mprotect.c
patching file mm/vmalloc.c
prepare-kernel.sh: /continuus/bm50210/linux-repo has no I-pipe support for arm
Having a look to the prepare-kernel.sh script, I seems it fails at line 350:
if test \! -r $linux_tree/arch/$linux_arch/include/asm/ipipe.h; then
echo "$me: $linux_tree has no I-pipe support for $linux_arch" >&2
exit 2
fi
I'm trying to apply the arm64 I-pipe patch so ipipe.h is applied to arch/arm64 /include/asm/ folder.
I also tried to call the prepare-script with arm64 argument but the script doesn't support it.
Thanks
Bertrand
This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
2017-11-14 12:59 [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64 MINIER Bertrand
@ 2017-11-14 13:46 ` Christoph Müllner
2017-11-14 14:47 ` MINIER Bertrand
0 siblings, 1 reply; 5+ messages in thread
From: Christoph Müllner @ 2017-11-14 13:46 UTC (permalink / raw)
To: MINIER Bertrand; +Cc: xenomai
> On 14 Nov 2017, at 13:59, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>
> Hi,
>
>
> I am trying to install the COBALT kernel alongside the linux v4.9.24 for the target AArch64 Cortex-A53.
>
>
>
> I have executed the following script:
>
> ./scripts/prepare-kernel.sh --linux=../../linux-repo --ipipe../../ipipe-core-4.9.24-arm64-2.patch --arch=arm
Hi Bertrand,
try with --arch=arm64
BR
Christoph
>
>
>
> The xenomai code and ipipe patch came from the xenomai downloads site and the linux kernel comes from kernel.org
>
>
>
> Can someone please help me understand why prepare-kernel.sh is failing?
>
>
>
> Here's the output I got from the perpare-kernel.sh script:
>
>
>
> patching file arch/arm64/Kconfig
>
> patching file arch/arm64/include/asm/assembler.h
>
> patching file arch/arm64/include/asm/ipipe.h
>
> patching file arch/arm64/include/asm/ipipe_base.h
>
> patching file arch/arm64/include/asm/ipipe_hwirq.h
>
> patching file arch/arm64/include/asm/irqflags.h
>
> patching file arch/arm64/include/asm/mmu_context.h
>
> patching file arch/arm64/include/asm/proc-fns.h
>
> patching file arch/arm64/include/asm/smp_plat.h
>
> patching file arch/arm64/include/asm/thread_info.h
>
> patching file arch/arm64/include/asm/uaccess.h
>
> patching file arch/arm64/include/asm/unistd.h
>
> patching file arch/arm64/kernel/Makefile
>
> patching file arch/arm64/kernel/asm-offsets.c
>
> patching file arch/arm64/kernel/entry.S
>
> patching file arch/arm64/kernel/fpsimd.c
>
> patching file arch/arm64/kernel/ipipe.c
>
> patching file arch/arm64/kernel/process.c
>
> patching file arch/arm64/kernel/ptrace.c
>
> patching file arch/arm64/kernel/setup.c
>
> patching file arch/arm64/kernel/signal.c
>
> patching file arch/arm64/kernel/smp.c
>
> patching file arch/arm64/kernel/traps.c
>
> patching file arch/arm64/mm/context.c
>
> patching file arch/arm64/mm/fault.c
>
> patching file drivers/clocksource/arm_arch_timer.c
>
> patching file drivers/clocksource/timer-sp804.c
>
> patching file drivers/gpio/gpio-pl061.c
>
> patching file drivers/irqchip/irq-gic-v3.c
>
> patching file drivers/irqchip/irq-gic.c
>
> patching file drivers/tty/serial/amba-pl011.c
>
> patching file drivers/cpuidle/Kconfig
>
> patching file drivers/iommu/irq_remapping.c
>
> patching file drivers/tty/serial/8250/8250_core.c
>
> patching file fs/exec.c
>
> patching file include/asm-generic/atomic.h
>
> patching file include/asm-generic/bitops/atomic.h
>
> patching file include/asm-generic/cmpxchg-local.h
>
> patching file include/asm-generic/percpu.h
>
> patching file include/asm-generic/preempt.h
>
> patching file include/asm-generic/switch_to.h
>
> patching file include/clocksource/timer-sp804.h
>
> patching file include/ipipe/setup.h
>
> patching file include/ipipe/thread_info.h
>
> patching file include/linux/clockchips.h
>
> patching file include/linux/clocksource.h
>
> patching file include/linux/console.h
>
> patching file include/linux/ftrace.h
>
> patching file include/linux/gpio/driver.h
>
> patching file include/linux/hardirq.h
>
> patching file include/linux/i8253.h
>
> patching file include/linux/ipipe.h
>
> patching file include/linux/ipipe_base.h
>
> patching file include/linux/ipipe_compat.h
>
> patching file include/linux/ipipe_debug.h
>
> patching file include/linux/ipipe_domain.h
>
> patching file include/linux/ipipe_lock.h
>
> patching file include/linux/ipipe_tickdev.h
>
> patching file include/linux/ipipe_trace.h
>
> patching file include/linux/irq.h
>
> patching file include/linux/irqchip/arm-gic.h
>
> patching file include/linux/irqdesc.h
>
> patching file include/linux/irqnr.h
>
> patching file include/linux/kernel.h
>
> patching file include/linux/kvm_host.h
>
> patching file include/linux/preempt.h
>
> patching file include/linux/printk.h
>
> patching file include/linux/rwlock.h
>
> patching file include/linux/rwlock_api_smp.h
>
> patching file include/linux/sched.h
>
> patching file include/linux/spinlock.h
>
> patching file include/linux/spinlock_api_smp.h
>
> patching file include/linux/spinlock_up.h
>
> patching file include/linux/timekeeper_internal.h
>
> patching file include/soc/fsl/qe/qe_ic.h
>
> patching file include/uapi/asm-generic/mman-common.h
>
> patching file include/uapi/asm-generic/resource.h
>
> patching file include/uapi/linux/resource.h
>
> patching file init/Kconfig
>
> patching file init/main.c
>
> patching file kernel/Makefile
>
> patching file kernel/context_tracking.c
>
> patching file kernel/debug/debug_core.c
>
> patching file kernel/debug/gdbstub.c
>
> patching file kernel/exit.c
>
> patching file kernel/fork.c
>
> patching file kernel/ipipe/Kconfig
>
> patching file kernel/ipipe/Kconfig.debug
>
> patching file kernel/ipipe/Makefile
>
> patching file kernel/ipipe/compat.c
>
> patching file kernel/ipipe/core.c
>
> patching file kernel/ipipe/ipipe.c
>
> patching file kernel/ipipe/timer.c
>
> patching file kernel/ipipe/tracer.c
>
> patching file kernel/irq/chip.c
>
> patching file kernel/irq/generic-chip.c
>
> patching file kernel/irq/internals.h
>
> patching file kernel/irq/irqdesc.c
>
> patching file kernel/irq/manage.c
>
> patching file kernel/locking/lockdep.c
>
> patching file kernel/locking/spinlock.c
>
> patching file kernel/module.c
>
> patching file kernel/panic.c
>
> patching file kernel/power/hibernate.c
>
> patching file kernel/printk/printk.c
>
> patching file kernel/sched/core.c
>
> patching file kernel/sched/idle.c
>
> patching file kernel/sched/wait.c
>
> patching file kernel/signal.c
>
> patching file kernel/time/clockevents.c
>
> patching file kernel/time/clocksource.c
>
> patching file kernel/time/tick-common.c
>
> patching file kernel/time/tick-sched.c
>
> patching file kernel/time/timekeeping.c
>
> patching file kernel/time/timer.c
>
> patching file kernel/trace/Kconfig
>
> patching file kernel/trace/ftrace.c
>
> patching file kernel/trace/ring_buffer.c
>
> patching file kernel/trace/trace.c
>
> patching file kernel/trace/trace_clock.c
>
> patching file kernel/trace/trace_functions.c
>
> patching file kernel/trace/trace_functions_graph.c
>
> patching file kernel/trace/trace_irqsoff.c
>
> patching file lib/Kconfig.debug
>
> patching file lib/atomic64.c
>
> patching file lib/bust_spinlocks.c
>
> patching file lib/ioremap.c
>
> patching file lib/smp_processor_id.c
>
> patching file mm/memory.c
>
> patching file mm/mlock.c
>
> patching file mm/mmap.c
>
> patching file mm/mmu_context.c
>
> patching file mm/mprotect.c
>
> patching file mm/vmalloc.c
>
> prepare-kernel.sh: /continuus/bm50210/linux-repo has no I-pipe support for arm
>
>
>
> Having a look to the prepare-kernel.sh script, I seems it fails at line 350:
>
>
>
> if test \! -r $linux_tree/arch/$linux_arch/include/asm/ipipe.h; then
>
> echo "$me: $linux_tree has no I-pipe support for $linux_arch" >&2
>
> exit 2
>
> fi
>
>
>
> I'm trying to apply the arm64 I-pipe patch so ipipe.h is applied to arch/arm64 /include/asm/ folder.
>
>
>
> I also tried to call the prepare-script with arm64 argument but the script doesn't support it.
>
>
>
>
>
> Thanks
>
>
>
> Bertrand
>
>
> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
> _______________________________________________
> Xenomai mailing list
> Xenomai@xenomai.org
> https://xenomai.org/mailman/listinfo/xenomai
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <http://xenomai.org/pipermail/xenomai/attachments/20171114/a810cb6f/attachment.sig>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
2017-11-14 13:46 ` Christoph Müllner
@ 2017-11-14 14:47 ` MINIER Bertrand
2017-11-14 16:21 ` Christoph Müllner
0 siblings, 1 reply; 5+ messages in thread
From: MINIER Bertrand @ 2017-11-14 14:47 UTC (permalink / raw)
To: Christoph Müllner; +Cc: xenomai
Hi Christoph,
Thank you for your answer.
The prepare-kernel.sh script doesn't seem to support --arch=arm64
When I execute scripts/prepare-kernel.sh --linux=/continuus/bm50210/linux-repo --ipipe=/continuus/bm50210/br-top/config/package/xenomai3/ipipe-core-4.9.24-arm64-2.patch --arch=arm64
The output is :
prepare-kernel.sh: unsupported architecture: arm64
I'm using Xenomai v3.0.5.
Bertrand
-----Message d'origine-----
De : Christoph Müllner [mailto:christoph.muellner@theobroma-systems.com]
Envoyé : mardi 14 novembre 2017 14:47
À : MINIER Bertrand
Cc : xenomai@xenomai.org
Objet : Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
> On 14 Nov 2017, at 13:59, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>
> Hi,
>
>
> I am trying to install the COBALT kernel alongside the linux v4.9.24 for the target AArch64 Cortex-A53.
>
>
>
> I have executed the following script:
>
> ./scripts/prepare-kernel.sh --linux=../../linux-repo --ipipe../../ipipe-core-4.9.24-arm64-2.patch --arch=arm
Hi Bertrand,
try with --arch=arm64
BR
Christoph
>
>
>
> The xenomai code and ipipe patch came from the xenomai downloads site and the linux kernel comes from kernel.org
>
>
>
> Can someone please help me understand why prepare-kernel.sh is failing?
>
>
>
> Here's the output I got from the perpare-kernel.sh script:
>
>
>
> patching file arch/arm64/Kconfig
>
> patching file arch/arm64/include/asm/assembler.h
>
> patching file arch/arm64/include/asm/ipipe.h
>
> patching file arch/arm64/include/asm/ipipe_base.h
>
> patching file arch/arm64/include/asm/ipipe_hwirq.h
>
> patching file arch/arm64/include/asm/irqflags.h
>
> patching file arch/arm64/include/asm/mmu_context.h
>
> patching file arch/arm64/include/asm/proc-fns.h
>
> patching file arch/arm64/include/asm/smp_plat.h
>
> patching file arch/arm64/include/asm/thread_info.h
>
> patching file arch/arm64/include/asm/uaccess.h
>
> patching file arch/arm64/include/asm/unistd.h
>
> patching file arch/arm64/kernel/Makefile
>
> patching file arch/arm64/kernel/asm-offsets.c
>
> patching file arch/arm64/kernel/entry.S
>
> patching file arch/arm64/kernel/fpsimd.c
>
> patching file arch/arm64/kernel/ipipe.c
>
> patching file arch/arm64/kernel/process.c
>
> patching file arch/arm64/kernel/ptrace.c
>
> patching file arch/arm64/kernel/setup.c
>
> patching file arch/arm64/kernel/signal.c
>
> patching file arch/arm64/kernel/smp.c
>
> patching file arch/arm64/kernel/traps.c
>
> patching file arch/arm64/mm/context.c
>
> patching file arch/arm64/mm/fault.c
>
> patching file drivers/clocksource/arm_arch_timer.c
>
> patching file drivers/clocksource/timer-sp804.c
>
> patching file drivers/gpio/gpio-pl061.c
>
> patching file drivers/irqchip/irq-gic-v3.c
>
> patching file drivers/irqchip/irq-gic.c
>
> patching file drivers/tty/serial/amba-pl011.c
>
> patching file drivers/cpuidle/Kconfig
>
> patching file drivers/iommu/irq_remapping.c
>
> patching file drivers/tty/serial/8250/8250_core.c
>
> patching file fs/exec.c
>
> patching file include/asm-generic/atomic.h
>
> patching file include/asm-generic/bitops/atomic.h
>
> patching file include/asm-generic/cmpxchg-local.h
>
> patching file include/asm-generic/percpu.h
>
> patching file include/asm-generic/preempt.h
>
> patching file include/asm-generic/switch_to.h
>
> patching file include/clocksource/timer-sp804.h
>
> patching file include/ipipe/setup.h
>
> patching file include/ipipe/thread_info.h
>
> patching file include/linux/clockchips.h
>
> patching file include/linux/clocksource.h
>
> patching file include/linux/console.h
>
> patching file include/linux/ftrace.h
>
> patching file include/linux/gpio/driver.h
>
> patching file include/linux/hardirq.h
>
> patching file include/linux/i8253.h
>
> patching file include/linux/ipipe.h
>
> patching file include/linux/ipipe_base.h
>
> patching file include/linux/ipipe_compat.h
>
> patching file include/linux/ipipe_debug.h
>
> patching file include/linux/ipipe_domain.h
>
> patching file include/linux/ipipe_lock.h
>
> patching file include/linux/ipipe_tickdev.h
>
> patching file include/linux/ipipe_trace.h
>
> patching file include/linux/irq.h
>
> patching file include/linux/irqchip/arm-gic.h
>
> patching file include/linux/irqdesc.h
>
> patching file include/linux/irqnr.h
>
> patching file include/linux/kernel.h
>
> patching file include/linux/kvm_host.h
>
> patching file include/linux/preempt.h
>
> patching file include/linux/printk.h
>
> patching file include/linux/rwlock.h
>
> patching file include/linux/rwlock_api_smp.h
>
> patching file include/linux/sched.h
>
> patching file include/linux/spinlock.h
>
> patching file include/linux/spinlock_api_smp.h
>
> patching file include/linux/spinlock_up.h
>
> patching file include/linux/timekeeper_internal.h
>
> patching file include/soc/fsl/qe/qe_ic.h
>
> patching file include/uapi/asm-generic/mman-common.h
>
> patching file include/uapi/asm-generic/resource.h
>
> patching file include/uapi/linux/resource.h
>
> patching file init/Kconfig
>
> patching file init/main.c
>
> patching file kernel/Makefile
>
> patching file kernel/context_tracking.c
>
> patching file kernel/debug/debug_core.c
>
> patching file kernel/debug/gdbstub.c
>
> patching file kernel/exit.c
>
> patching file kernel/fork.c
>
> patching file kernel/ipipe/Kconfig
>
> patching file kernel/ipipe/Kconfig.debug
>
> patching file kernel/ipipe/Makefile
>
> patching file kernel/ipipe/compat.c
>
> patching file kernel/ipipe/core.c
>
> patching file kernel/ipipe/ipipe.c
>
> patching file kernel/ipipe/timer.c
>
> patching file kernel/ipipe/tracer.c
>
> patching file kernel/irq/chip.c
>
> patching file kernel/irq/generic-chip.c
>
> patching file kernel/irq/internals.h
>
> patching file kernel/irq/irqdesc.c
>
> patching file kernel/irq/manage.c
>
> patching file kernel/locking/lockdep.c
>
> patching file kernel/locking/spinlock.c
>
> patching file kernel/module.c
>
> patching file kernel/panic.c
>
> patching file kernel/power/hibernate.c
>
> patching file kernel/printk/printk.c
>
> patching file kernel/sched/core.c
>
> patching file kernel/sched/idle.c
>
> patching file kernel/sched/wait.c
>
> patching file kernel/signal.c
>
> patching file kernel/time/clockevents.c
>
> patching file kernel/time/clocksource.c
>
> patching file kernel/time/tick-common.c
>
> patching file kernel/time/tick-sched.c
>
> patching file kernel/time/timekeeping.c
>
> patching file kernel/time/timer.c
>
> patching file kernel/trace/Kconfig
>
> patching file kernel/trace/ftrace.c
>
> patching file kernel/trace/ring_buffer.c
>
> patching file kernel/trace/trace.c
>
> patching file kernel/trace/trace_clock.c
>
> patching file kernel/trace/trace_functions.c
>
> patching file kernel/trace/trace_functions_graph.c
>
> patching file kernel/trace/trace_irqsoff.c
>
> patching file lib/Kconfig.debug
>
> patching file lib/atomic64.c
>
> patching file lib/bust_spinlocks.c
>
> patching file lib/ioremap.c
>
> patching file lib/smp_processor_id.c
>
> patching file mm/memory.c
>
> patching file mm/mlock.c
>
> patching file mm/mmap.c
>
> patching file mm/mmu_context.c
>
> patching file mm/mprotect.c
>
> patching file mm/vmalloc.c
>
> prepare-kernel.sh: /continuus/bm50210/linux-repo has no I-pipe support for arm
>
>
>
> Having a look to the prepare-kernel.sh script, I seems it fails at line 350:
>
>
>
> if test \! -r $linux_tree/arch/$linux_arch/include/asm/ipipe.h; then
>
> echo "$me: $linux_tree has no I-pipe support for $linux_arch" >&2
>
> exit 2
>
> fi
>
>
>
> I'm trying to apply the arm64 I-pipe patch so ipipe.h is applied to arch/arm64 /include/asm/ folder.
>
>
>
> I also tried to call the prepare-script with arm64 argument but the script doesn't support it.
>
>
>
>
>
> Thanks
>
>
>
> Bertrand
>
>
> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
> _______________________________________________
> Xenomai mailing list
> Xenomai@xenomai.org
> https://xenomai.org/mailman/listinfo/xenomai
This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
2017-11-14 14:47 ` MINIER Bertrand
@ 2017-11-14 16:21 ` Christoph Müllner
2017-11-14 18:23 ` MINIER Bertrand
0 siblings, 1 reply; 5+ messages in thread
From: Christoph Müllner @ 2017-11-14 16:21 UTC (permalink / raw)
To: MINIER Bertrand; +Cc: xenomai
> On 14 Nov 2017, at 15:47, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>
> Hi Christoph,
>
> Thank you for your answer.
> The prepare-kernel.sh script doesn't seem to support --arch=arm64
>
> When I execute scripts/prepare-kernel.sh --linux=/continuus/bm50210/linux-repo --ipipe=/continuus/bm50210/br-top/config/package/xenomai3/ipipe-core-4.9.24-arm64-2.patch --arch=arm64
> The output is :
> prepare-kernel.sh: unsupported architecture: arm64
>
> I'm using Xenomai v3.0.5.
Xenomai v3.0.5 does not support arm64.
Try using the next branch.
In fact I am using Xenomai-next with I-pipe (Linux 4.11) and (nearly) mainline Linux 4.12.14 kernel
on a RK3399 (four Cortex-A53 cores plus two Cortex-A72 cores).
BR
Christoph
> -----Message d'origine-----
> De : Christoph Müllner [mailto:christoph.muellner@theobroma-systems.com]
> Envoyé : mardi 14 novembre 2017 14:47
> À : MINIER Bertrand
> Cc : xenomai@xenomai.org
> Objet : Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
>
>
>> On 14 Nov 2017, at 13:59, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>>
>> Hi,
>>
>>
>> I am trying to install the COBALT kernel alongside the linux v4.9.24 for the target AArch64 Cortex-A53.
>>
>>
>>
>> I have executed the following script:
>>
>> ./scripts/prepare-kernel.sh --linux=../../linux-repo --ipipe../../ipipe-core-4.9.24-arm64-2.patch --arch=arm
>
> Hi Bertrand,
>
> try with --arch=arm64
>
> BR
> Christoph
>
>>
>>
>>
>> The xenomai code and ipipe patch came from the xenomai downloads site and the linux kernel comes from kernel.org
>>
>>
>>
>> Can someone please help me understand why prepare-kernel.sh is failing?
>>
>>
>>
>> Here's the output I got from the perpare-kernel.sh script:
>>
>>
>>
>> patching file arch/arm64/Kconfig
>>
>> patching file arch/arm64/include/asm/assembler.h
>>
>> patching file arch/arm64/include/asm/ipipe.h
>>
>> patching file arch/arm64/include/asm/ipipe_base.h
>>
>> patching file arch/arm64/include/asm/ipipe_hwirq.h
>>
>> patching file arch/arm64/include/asm/irqflags.h
>>
>> patching file arch/arm64/include/asm/mmu_context.h
>>
>> patching file arch/arm64/include/asm/proc-fns.h
>>
>> patching file arch/arm64/include/asm/smp_plat.h
>>
>> patching file arch/arm64/include/asm/thread_info.h
>>
>> patching file arch/arm64/include/asm/uaccess.h
>>
>> patching file arch/arm64/include/asm/unistd.h
>>
>> patching file arch/arm64/kernel/Makefile
>>
>> patching file arch/arm64/kernel/asm-offsets.c
>>
>> patching file arch/arm64/kernel/entry.S
>>
>> patching file arch/arm64/kernel/fpsimd.c
>>
>> patching file arch/arm64/kernel/ipipe.c
>>
>> patching file arch/arm64/kernel/process.c
>>
>> patching file arch/arm64/kernel/ptrace.c
>>
>> patching file arch/arm64/kernel/setup.c
>>
>> patching file arch/arm64/kernel/signal.c
>>
>> patching file arch/arm64/kernel/smp.c
>>
>> patching file arch/arm64/kernel/traps.c
>>
>> patching file arch/arm64/mm/context.c
>>
>> patching file arch/arm64/mm/fault.c
>>
>> patching file drivers/clocksource/arm_arch_timer.c
>>
>> patching file drivers/clocksource/timer-sp804.c
>>
>> patching file drivers/gpio/gpio-pl061.c
>>
>> patching file drivers/irqchip/irq-gic-v3.c
>>
>> patching file drivers/irqchip/irq-gic.c
>>
>> patching file drivers/tty/serial/amba-pl011.c
>>
>> patching file drivers/cpuidle/Kconfig
>>
>> patching file drivers/iommu/irq_remapping.c
>>
>> patching file drivers/tty/serial/8250/8250_core.c
>>
>> patching file fs/exec.c
>>
>> patching file include/asm-generic/atomic.h
>>
>> patching file include/asm-generic/bitops/atomic.h
>>
>> patching file include/asm-generic/cmpxchg-local.h
>>
>> patching file include/asm-generic/percpu.h
>>
>> patching file include/asm-generic/preempt.h
>>
>> patching file include/asm-generic/switch_to.h
>>
>> patching file include/clocksource/timer-sp804.h
>>
>> patching file include/ipipe/setup.h
>>
>> patching file include/ipipe/thread_info.h
>>
>> patching file include/linux/clockchips.h
>>
>> patching file include/linux/clocksource.h
>>
>> patching file include/linux/console.h
>>
>> patching file include/linux/ftrace.h
>>
>> patching file include/linux/gpio/driver.h
>>
>> patching file include/linux/hardirq.h
>>
>> patching file include/linux/i8253.h
>>
>> patching file include/linux/ipipe.h
>>
>> patching file include/linux/ipipe_base.h
>>
>> patching file include/linux/ipipe_compat.h
>>
>> patching file include/linux/ipipe_debug.h
>>
>> patching file include/linux/ipipe_domain.h
>>
>> patching file include/linux/ipipe_lock.h
>>
>> patching file include/linux/ipipe_tickdev.h
>>
>> patching file include/linux/ipipe_trace.h
>>
>> patching file include/linux/irq.h
>>
>> patching file include/linux/irqchip/arm-gic.h
>>
>> patching file include/linux/irqdesc.h
>>
>> patching file include/linux/irqnr.h
>>
>> patching file include/linux/kernel.h
>>
>> patching file include/linux/kvm_host.h
>>
>> patching file include/linux/preempt.h
>>
>> patching file include/linux/printk.h
>>
>> patching file include/linux/rwlock.h
>>
>> patching file include/linux/rwlock_api_smp.h
>>
>> patching file include/linux/sched.h
>>
>> patching file include/linux/spinlock.h
>>
>> patching file include/linux/spinlock_api_smp.h
>>
>> patching file include/linux/spinlock_up.h
>>
>> patching file include/linux/timekeeper_internal.h
>>
>> patching file include/soc/fsl/qe/qe_ic.h
>>
>> patching file include/uapi/asm-generic/mman-common.h
>>
>> patching file include/uapi/asm-generic/resource.h
>>
>> patching file include/uapi/linux/resource.h
>>
>> patching file init/Kconfig
>>
>> patching file init/main.c
>>
>> patching file kernel/Makefile
>>
>> patching file kernel/context_tracking.c
>>
>> patching file kernel/debug/debug_core.c
>>
>> patching file kernel/debug/gdbstub.c
>>
>> patching file kernel/exit.c
>>
>> patching file kernel/fork.c
>>
>> patching file kernel/ipipe/Kconfig
>>
>> patching file kernel/ipipe/Kconfig.debug
>>
>> patching file kernel/ipipe/Makefile
>>
>> patching file kernel/ipipe/compat.c
>>
>> patching file kernel/ipipe/core.c
>>
>> patching file kernel/ipipe/ipipe.c
>>
>> patching file kernel/ipipe/timer.c
>>
>> patching file kernel/ipipe/tracer.c
>>
>> patching file kernel/irq/chip.c
>>
>> patching file kernel/irq/generic-chip.c
>>
>> patching file kernel/irq/internals.h
>>
>> patching file kernel/irq/irqdesc.c
>>
>> patching file kernel/irq/manage.c
>>
>> patching file kernel/locking/lockdep.c
>>
>> patching file kernel/locking/spinlock.c
>>
>> patching file kernel/module.c
>>
>> patching file kernel/panic.c
>>
>> patching file kernel/power/hibernate.c
>>
>> patching file kernel/printk/printk.c
>>
>> patching file kernel/sched/core.c
>>
>> patching file kernel/sched/idle.c
>>
>> patching file kernel/sched/wait.c
>>
>> patching file kernel/signal.c
>>
>> patching file kernel/time/clockevents.c
>>
>> patching file kernel/time/clocksource.c
>>
>> patching file kernel/time/tick-common.c
>>
>> patching file kernel/time/tick-sched.c
>>
>> patching file kernel/time/timekeeping.c
>>
>> patching file kernel/time/timer.c
>>
>> patching file kernel/trace/Kconfig
>>
>> patching file kernel/trace/ftrace.c
>>
>> patching file kernel/trace/ring_buffer.c
>>
>> patching file kernel/trace/trace.c
>>
>> patching file kernel/trace/trace_clock.c
>>
>> patching file kernel/trace/trace_functions.c
>>
>> patching file kernel/trace/trace_functions_graph.c
>>
>> patching file kernel/trace/trace_irqsoff.c
>>
>> patching file lib/Kconfig.debug
>>
>> patching file lib/atomic64.c
>>
>> patching file lib/bust_spinlocks.c
>>
>> patching file lib/ioremap.c
>>
>> patching file lib/smp_processor_id.c
>>
>> patching file mm/memory.c
>>
>> patching file mm/mlock.c
>>
>> patching file mm/mmap.c
>>
>> patching file mm/mmu_context.c
>>
>> patching file mm/mprotect.c
>>
>> patching file mm/vmalloc.c
>>
>> prepare-kernel.sh: /continuus/bm50210/linux-repo has no I-pipe support for arm
>>
>>
>>
>> Having a look to the prepare-kernel.sh script, I seems it fails at line 350:
>>
>>
>>
>> if test \! -r $linux_tree/arch/$linux_arch/include/asm/ipipe.h; then
>>
>> echo "$me: $linux_tree has no I-pipe support for $linux_arch" >&2
>>
>> exit 2
>>
>> fi
>>
>>
>>
>> I'm trying to apply the arm64 I-pipe patch so ipipe.h is applied to arch/arm64 /include/asm/ folder.
>>
>>
>>
>> I also tried to call the prepare-script with arm64 argument but the script doesn't support it.
>>
>>
>>
>>
>>
>> Thanks
>>
>>
>>
>> Bertrand
>>
>>
>> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
>> _______________________________________________
>> Xenomai mailing list
>> Xenomai@xenomai.org
>> https://xenomai.org/mailman/listinfo/xenomai
>
> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <http://xenomai.org/pipermail/xenomai/attachments/20171114/60296cc9/attachment.sig>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
2017-11-14 16:21 ` Christoph Müllner
@ 2017-11-14 18:23 ` MINIER Bertrand
0 siblings, 0 replies; 5+ messages in thread
From: MINIER Bertrand @ 2017-11-14 18:23 UTC (permalink / raw)
To: Christoph Müllner; +Cc: xenomai
Thanks Christoph,
I succeed to execute the prepare-kernel script and to build linux/xenomai for my target using the Xenomai next branch.
Best regards,
Bertrand
-----Message d'origine-----
De : Christoph Müllner [mailto:christoph.muellner@theobroma-systems.com]
Envoyé : mardi 14 novembre 2017 17:22
À : MINIER Bertrand
Cc : xenomai@xenomai.org
Objet : Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64
> On 14 Nov 2017, at 15:47, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>
> Hi Christoph,
>
> Thank you for your answer.
> The prepare-kernel.sh script doesn't seem to support --arch=arm64
>
> When I execute scripts/prepare-kernel.sh
> --linux=/continuus/bm50210/linux-repo --ipipe=/continuus/bm50210/br-top/config/package/xenomai3/ipipe-core-4.9.24-arm64-2.patch --arch=arm64 The output is :
> prepare-kernel.sh: unsupported architecture: arm64
>
> I'm using Xenomai v3.0.5.
Xenomai v3.0.5 does not support arm64.
Try using the next branch.
In fact I am using Xenomai-next with I-pipe (Linux 4.11) and (nearly) mainline Linux 4.12.14 kernel on a RK3399 (four Cortex-A53 cores plus two Cortex-A72 cores).
BR
Christoph
> -----Message d'origine-----
> De : Christoph Müllner
> [mailto:christoph.muellner@theobroma-systems.com]
> Envoyé : mardi 14 novembre 2017 14:47
> À : MINIER Bertrand
> Cc : xenomai@xenomai.org
> Objet : Re: [Xenomai] prepare-kernel.sh error on linux 4.9.24 for
> target arm64
>
>
>> On 14 Nov 2017, at 13:59, MINIER Bertrand <Bertrand.MINIER@sercel.com> wrote:
>>
>> Hi,
>>
>>
>> I am trying to install the COBALT kernel alongside the linux v4.9.24 for the target AArch64 Cortex-A53.
>>
>>
>>
>> I have executed the following script:
>>
>> ./scripts/prepare-kernel.sh --linux=../../linux-repo
>> --ipipe../../ipipe-core-4.9.24-arm64-2.patch --arch=arm
>
> Hi Bertrand,
>
> try with --arch=arm64
>
> BR
> Christoph
>
>>
>>
>>
>> The xenomai code and ipipe patch came from the xenomai downloads site
>> and the linux kernel comes from kernel.org
>>
>>
>>
>> Can someone please help me understand why prepare-kernel.sh is failing?
>>
>>
>>
>> Here's the output I got from the perpare-kernel.sh script:
>>
>>
>>
>> patching file arch/arm64/Kconfig
>>
>> patching file arch/arm64/include/asm/assembler.h
>>
>> patching file arch/arm64/include/asm/ipipe.h
>>
>> patching file arch/arm64/include/asm/ipipe_base.h
>>
>> patching file arch/arm64/include/asm/ipipe_hwirq.h
>>
>> patching file arch/arm64/include/asm/irqflags.h
>>
>> patching file arch/arm64/include/asm/mmu_context.h
>>
>> patching file arch/arm64/include/asm/proc-fns.h
>>
>> patching file arch/arm64/include/asm/smp_plat.h
>>
>> patching file arch/arm64/include/asm/thread_info.h
>>
>> patching file arch/arm64/include/asm/uaccess.h
>>
>> patching file arch/arm64/include/asm/unistd.h
>>
>> patching file arch/arm64/kernel/Makefile
>>
>> patching file arch/arm64/kernel/asm-offsets.c
>>
>> patching file arch/arm64/kernel/entry.S
>>
>> patching file arch/arm64/kernel/fpsimd.c
>>
>> patching file arch/arm64/kernel/ipipe.c
>>
>> patching file arch/arm64/kernel/process.c
>>
>> patching file arch/arm64/kernel/ptrace.c
>>
>> patching file arch/arm64/kernel/setup.c
>>
>> patching file arch/arm64/kernel/signal.c
>>
>> patching file arch/arm64/kernel/smp.c
>>
>> patching file arch/arm64/kernel/traps.c
>>
>> patching file arch/arm64/mm/context.c
>>
>> patching file arch/arm64/mm/fault.c
>>
>> patching file drivers/clocksource/arm_arch_timer.c
>>
>> patching file drivers/clocksource/timer-sp804.c
>>
>> patching file drivers/gpio/gpio-pl061.c
>>
>> patching file drivers/irqchip/irq-gic-v3.c
>>
>> patching file drivers/irqchip/irq-gic.c
>>
>> patching file drivers/tty/serial/amba-pl011.c
>>
>> patching file drivers/cpuidle/Kconfig
>>
>> patching file drivers/iommu/irq_remapping.c
>>
>> patching file drivers/tty/serial/8250/8250_core.c
>>
>> patching file fs/exec.c
>>
>> patching file include/asm-generic/atomic.h
>>
>> patching file include/asm-generic/bitops/atomic.h
>>
>> patching file include/asm-generic/cmpxchg-local.h
>>
>> patching file include/asm-generic/percpu.h
>>
>> patching file include/asm-generic/preempt.h
>>
>> patching file include/asm-generic/switch_to.h
>>
>> patching file include/clocksource/timer-sp804.h
>>
>> patching file include/ipipe/setup.h
>>
>> patching file include/ipipe/thread_info.h
>>
>> patching file include/linux/clockchips.h
>>
>> patching file include/linux/clocksource.h
>>
>> patching file include/linux/console.h
>>
>> patching file include/linux/ftrace.h
>>
>> patching file include/linux/gpio/driver.h
>>
>> patching file include/linux/hardirq.h
>>
>> patching file include/linux/i8253.h
>>
>> patching file include/linux/ipipe.h
>>
>> patching file include/linux/ipipe_base.h
>>
>> patching file include/linux/ipipe_compat.h
>>
>> patching file include/linux/ipipe_debug.h
>>
>> patching file include/linux/ipipe_domain.h
>>
>> patching file include/linux/ipipe_lock.h
>>
>> patching file include/linux/ipipe_tickdev.h
>>
>> patching file include/linux/ipipe_trace.h
>>
>> patching file include/linux/irq.h
>>
>> patching file include/linux/irqchip/arm-gic.h
>>
>> patching file include/linux/irqdesc.h
>>
>> patching file include/linux/irqnr.h
>>
>> patching file include/linux/kernel.h
>>
>> patching file include/linux/kvm_host.h
>>
>> patching file include/linux/preempt.h
>>
>> patching file include/linux/printk.h
>>
>> patching file include/linux/rwlock.h
>>
>> patching file include/linux/rwlock_api_smp.h
>>
>> patching file include/linux/sched.h
>>
>> patching file include/linux/spinlock.h
>>
>> patching file include/linux/spinlock_api_smp.h
>>
>> patching file include/linux/spinlock_up.h
>>
>> patching file include/linux/timekeeper_internal.h
>>
>> patching file include/soc/fsl/qe/qe_ic.h
>>
>> patching file include/uapi/asm-generic/mman-common.h
>>
>> patching file include/uapi/asm-generic/resource.h
>>
>> patching file include/uapi/linux/resource.h
>>
>> patching file init/Kconfig
>>
>> patching file init/main.c
>>
>> patching file kernel/Makefile
>>
>> patching file kernel/context_tracking.c
>>
>> patching file kernel/debug/debug_core.c
>>
>> patching file kernel/debug/gdbstub.c
>>
>> patching file kernel/exit.c
>>
>> patching file kernel/fork.c
>>
>> patching file kernel/ipipe/Kconfig
>>
>> patching file kernel/ipipe/Kconfig.debug
>>
>> patching file kernel/ipipe/Makefile
>>
>> patching file kernel/ipipe/compat.c
>>
>> patching file kernel/ipipe/core.c
>>
>> patching file kernel/ipipe/ipipe.c
>>
>> patching file kernel/ipipe/timer.c
>>
>> patching file kernel/ipipe/tracer.c
>>
>> patching file kernel/irq/chip.c
>>
>> patching file kernel/irq/generic-chip.c
>>
>> patching file kernel/irq/internals.h
>>
>> patching file kernel/irq/irqdesc.c
>>
>> patching file kernel/irq/manage.c
>>
>> patching file kernel/locking/lockdep.c
>>
>> patching file kernel/locking/spinlock.c
>>
>> patching file kernel/module.c
>>
>> patching file kernel/panic.c
>>
>> patching file kernel/power/hibernate.c
>>
>> patching file kernel/printk/printk.c
>>
>> patching file kernel/sched/core.c
>>
>> patching file kernel/sched/idle.c
>>
>> patching file kernel/sched/wait.c
>>
>> patching file kernel/signal.c
>>
>> patching file kernel/time/clockevents.c
>>
>> patching file kernel/time/clocksource.c
>>
>> patching file kernel/time/tick-common.c
>>
>> patching file kernel/time/tick-sched.c
>>
>> patching file kernel/time/timekeeping.c
>>
>> patching file kernel/time/timer.c
>>
>> patching file kernel/trace/Kconfig
>>
>> patching file kernel/trace/ftrace.c
>>
>> patching file kernel/trace/ring_buffer.c
>>
>> patching file kernel/trace/trace.c
>>
>> patching file kernel/trace/trace_clock.c
>>
>> patching file kernel/trace/trace_functions.c
>>
>> patching file kernel/trace/trace_functions_graph.c
>>
>> patching file kernel/trace/trace_irqsoff.c
>>
>> patching file lib/Kconfig.debug
>>
>> patching file lib/atomic64.c
>>
>> patching file lib/bust_spinlocks.c
>>
>> patching file lib/ioremap.c
>>
>> patching file lib/smp_processor_id.c
>>
>> patching file mm/memory.c
>>
>> patching file mm/mlock.c
>>
>> patching file mm/mmap.c
>>
>> patching file mm/mmu_context.c
>>
>> patching file mm/mprotect.c
>>
>> patching file mm/vmalloc.c
>>
>> prepare-kernel.sh: /continuus/bm50210/linux-repo has no I-pipe
>> support for arm
>>
>>
>>
>> Having a look to the prepare-kernel.sh script, I seems it fails at line 350:
>>
>>
>>
>> if test \! -r $linux_tree/arch/$linux_arch/include/asm/ipipe.h; then
>>
>> echo "$me: $linux_tree has no I-pipe support for $linux_arch" >&2
>>
>> exit 2
>>
>> fi
>>
>>
>>
>> I'm trying to apply the arm64 I-pipe patch so ipipe.h is applied to arch/arm64 /include/asm/ folder.
>>
>>
>>
>> I also tried to call the prepare-script with arm64 argument but the script doesn't support it.
>>
>>
>>
>>
>>
>> Thanks
>>
>>
>>
>> Bertrand
>>
>>
>> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
>> _______________________________________________
>> Xenomai mailing list
>> Xenomai@xenomai.org
>> https://xenomai.org/mailman/listinfo/xenomai
>
> This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
This e-mail and any accompanying attachments are confidential. If you are not the intended recipient, you must not review, disclose, copy, distribute or use this e-mail; please delete it from your system and notify the sender immediately.
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2017-11-14 18:23 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-11-14 12:59 [Xenomai] prepare-kernel.sh error on linux 4.9.24 for target arm64 MINIER Bertrand
2017-11-14 13:46 ` Christoph Müllner
2017-11-14 14:47 ` MINIER Bertrand
2017-11-14 16:21 ` Christoph Müllner
2017-11-14 18:23 ` MINIER Bertrand
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.