Error “nothing to be done for x86_64_def” when trying to configure kernel

jguo5258 · 10-10-2019, 06:08 AM

I am learning device drivers development from the book by John Madieu. The book tells me to enter in the command "make x86_64_def" to configure the kernel, but when I enter that in to the terminal, an error message shows, saying "nothing to be done for x86_64_def". The "x86_64_def" file is located in linux/arch/x86/config

hazel · 10-11-2019, 05:45 AM

Are you sure it's x86_64_def and not x86_64_defconfig? Because that's what I found in my kernel tree. And the make instruction using that name works for me.