Ask Your Question
0

How to enable kernel .config option ?

asked 2015-06-09 05:14:05 -0500

r0uruni gravatar image

Hi, Im using Fedora 22 and still new with kernel. My task require me to enable some of kernel .config option. So, I have downloaded the current kernel's source code by using $ dnf install kernel-devel kernel-tools kernel-headers and all the source code can be obtained in the usr/src/kernel. From here, how can I proceed to configure the kernel ? I saw the Kconfig file but, I dont know how to proceed.

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted
0

answered 2015-06-10 22:16:37 -0500

sergiomb gravatar image

https://fedoraproject.org/wiki/Buildi... beyond

make release

you may do :

fedpkg srpm && mock -r fedora-20-x86_64 --rebuild ./kernel-3.15.8-200.fc20.src.rpm --target=x86_64 --define="buildid .r0uruni" --with baseonly --without debuginfo --no-clean
edit flag offensive delete link more

Comments

OP wants to rebuild kernel with his custom configuration I take it, since he seems to be referring to a specific kernel config. This just rebuilds Fedora's kernel with Fedora's default config.

bthomas gravatar imagebthomas ( 2015-06-10 23:32:53 -0500 )edit

before make kernel, he can or should modify .config

sergiomb gravatar imagesergiomb ( 2015-06-11 07:29:44 -0500 )edit
0

answered 2015-06-10 20:28:42 -0500

bthomas gravatar image

updated 2015-06-10 20:33:14 -0500

You mean you haven't read through the README yet? For future reference, it's probably the best place to start when you need help (along with /Documentation and man pages).

Something like this:

$ cd /usr/src/kernel
$ vi README
# Go through every option. Use the "Help" button to help. If I remember correctly, `kernel .config` is in the very first menu.
$ make menuconfig
# Assuming 4 physical cores.
$ make -j4
$ sure make modules_install -j4
$ sure make install
# Now regenrate grub.cfg
$ grub-mkconfig -o /boot/efi/EFI/fedora
edit flag offensive delete link more

Question Tools

1 follower

Stats

Asked: 2015-06-09 05:14:05 -0500

Seen: 502 times

Last updated: Jun 10 '15