5

Hello I want to access the menuconfig of the raspberry pi os lite, but I had this error

root@raspberrypi:/# make menuconfig 
make: *** No rule to make target 'menuconfig'.  Stop.
root@raspberrypi:/# 

I want to see the configuration of this os is it possible ? or does and a config file exists? under which directory can I found something like that

actually I am working on creating an os with buildroot and the menuconfig is a litle bit scary for me so I wanted to check the configuration of the raspberry pi os lite to know which modules and dependencies are necessary. if anyone could help it would be great

mina
  • 385
  • 2
  • 5
  • 14

2 Answers2

4

If you just want to get the configuration of your Pi's kernel, and you plan to do development elsewhere, run sudo modprobe configs; zcat /proc/config.gz > .config, and then copy the .config file to your development folder.

If you plan to do development on the Pi, install the kernel source tree, e.g. with git clone --depth=1 https://github.com/raspberrypi/linux. This will create a folder called linux inside the current directory, and the Makefile you need to run make menuconfig will be inside that linux folder. You don't have to configure everything manually, there are make bcmrpi_defconfig / make bcm2709_defconfig / make bcm2711_defconfig commands which create a default kernel configuration for Pi1 / Pi 2 and 3 / Pi 4, respectively.

Make sure you have good Internet connection and several GB of free space on your SD card before you start, the kernel is quite a big project.

Also, read about git: if you want to explore different kernel configurations, you'll have to pick the right branch of the repository with git checkout branch_name. The default kernel branch seems to be rpi-5.4.y at the time of writing.

Dmitry Grigoryev
  • 28,277
  • 6
  • 54
  • 147
2

To install the program you have to issue the command:

sudo apt install libncurses5-dev

Full kernel building instructions can be found on this page as part of the RPF/RPT kernel documentation here