On 10/14/2015 06:16 PM, Jorge Ramirez Ortiz wrote: > >> >> I did push my current state to github. Check out >> https://github.com/siemens/linux-ipipe >> branches ipipe-3.19 and -4.0 > > > > I just noticed -while reusing some of your changes for aarch64 - that his > needs > fixing (redeclaration of 'flags') > https://github.com/siemens/linux-ipipe/blob/ipipe-4.0/drivers/irqchip/irq-gic.c#L270 >
Hi Henning, have you tried running the switchtest with the boot parameter xenomai.supported_cpus=0x1? -- jro _______________________________________________ Xenomai mailing list Xenomai@xenomai.org http://xenomai.org/mailman/listinfo/xenomai
