Estou tentando instalar o RTAI 5.0.1 no Ubuntu 18.04 LTS no Linux Kernel 4.1.18. Eu estava seguindo o este tutorial. Mas infelizmente estou preso nessa parte
make -j 'getconf _NPROCESSORS_ONLN' deb-pkg LOCALVERSION=-rtai
O erro é:
make: *** No rule to make target 'deb-pkg'. Stop.
Qual deve ser o alvo?