If you are working with nuttx kernel you might have issues trying to bring up the kernel menuconfig with the below command:

make menuconfig

I had to do the below to get it working in a newly installed Ubuntu system:

• Make sure you have the right compiler tool chain installed, if not install it

 sudo apt-get install gcc-arm-none-eabi

• Make sure you have the nuttx frontend tools installed in your Ubuntu, if not install it as below:

git clone https://bitbucket.org/nuttx/tools.git
cd tools/kconfig-frontends
./configure --prefix=/usr --enable-mconf --disable-nconf --disable-gconf
make
sudo make install

Now try the make menuconfig again from the console and you should be able to see the Kernel menuconfig page somewhat like this: