Migrate project from Debian 8 Xenomai 2.x to Debain 9 Xenomai 3.x

[Richard Weinberger]

On Tue, Mar 3, 2020 at 1:03 PM Carsten EHRMANN via Xenomai
<xenomai at xenomai.org> wrote:
>
> Hi Jan,
>
> I don't have one of the files
>
> - /usr/src/linux-4.9.146/include/config/xeno/drivers/rtipc/xddp.h
>
> - /lib/modules/4.9.146/kernel/drivers/xenomai /ipc/xeno_rtipc.ko
>
>
> Where do I get them? Do they have to be installed when building the kernel?

Did you enable CONFIG_XENO_DRIVERS_RTIPC_XDDP in your kernel.

-- 
Thanks,
//richard