I have RedHat Enterprise Linux Server 7, with kernel: 3.10.0-514 and I downloaded the linux kernel version 4.12.10 and I compile it and configure it without having any error here are the commands I executed:
make mrproper make dep make clean make bzImage make modules make modules_install
the execution was done without errors.
then I copied the file
/boot folder, executing:
cp System.map /boot/System.map-4.12.10
cp arch/x86_64/boot/bzImage /boot/bzImage-4.12.10
But when I retstart the OS, I do not have the option to load the new kernel.
Any help please ?