On 10/20/2018 09:27 PM, Alec Ari wrote: > 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? >
https://gitlab.denx.de/Xenomai/xenomai/wikis/Installing_Xenomai_3, "Installing the Cobalt core" -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai