I'm getting the raspberry pi zero images ready and I see the following in the dmesg:
[ 0.000000] WARNING: CPU: 0 PID: 0 at /home/ggallagher/devel/emb_linux/ipipe-arm/kernel/irq/chip.c:57 irq_set_chip+0x7c/0xac [ 0.000000] irqchip ARMCTRL-level is not pipeline-safe! [ 0.000000] Modules linked in: [ 0.000000] CPU: 0 PID: 0 Comm: swapper Not tainted 4.14.4-ipipe+ #2 [ 0.000000] Hardware name: BCM2835 [ 0.000000] I-pipe domain: Linux it looks like cobalt isn't running either, I'm trying to find the best way to debug this or if this is a bug? Any help is appreciated Greg _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai