Wanted to take a quick jab at wip/4.14-split -- kernel boots up fine:

[    0.000000] Interrupt pipeline (release #2112)

However when trying to do anything with Xenomai, I get this:

0"000.000| BUG in low_init(): [main] Cobalt core not enabled in kernel

Everything is set accordingly:

CONFIG_LOCALVERSION="-IPIPE"
CONFIG_HAVE_IPIPE_SUPPORT=y
CONFIG_IPIPE=y
CONFIG_IPIPE_CORE=y
CONFIG_IPIPE_WANT_PTE_PINNING=y
CONFIG_IPIPE_CORE_APIREV=2
CONFIG_IPIPE_TARGET_APIREV=2
CONFIG_IPIPE_DEBUG=y
CONFIG_IPIPE_DEBUG_CONTEXT=y
CONFIG_IPIPE_DEBUG_INTERNAL=y

Wanted debugging on so I can report back any problems with meaningful stack 
traces.

Yes, I'm sure I'm running the correct kernel; this is definitely an 
IPIPE-enabled 4.14 kernel. What am I missing?

$ git clone https://gitlab.denx.de/Xenomai/ipipe-x86.git
$ git clone https://gitlab.denx.de/Xenomai/xenomai.git
$ cd ipipe-x86 ; make menuconfig ; make ; copy stuff to /boot ; modify grub ; 
reboot
$ cd xenomai ; ./scripts/bootstrap ; ./configure ; make ; make install ; 
nothing works, same error:

0"000.000| BUG in low_init(): [main] Cobalt core not enabled in kernel

Tried things in /usr/xenomai/bin{,demo} and ~/xenomai/testsuite and same 
problem. Without me having to dig through enormous PDFs, source code and such, 
can you simply just tell me what I'm doing wrong?

Thank you!

Alec

_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to