Making kernel problem

c4droid c4droid at
Mon Jan 6 19:31:36 EST 2020

Even I extract source from docker container, the Documentation directory
just exist kbuild, not Kbuild.
And, in the extracted source tree, the top-level Kbuild file named
Kbuild not kbuild, only Documentation/kbuild is named
Documentation/kbuild. When I run make mrproper, make only report
_clean_Documentation target error, my linux kernel source code archive
is download from mirror.

Hayward, Shaun writes:

>> On Jan 6, 2020, at 7:24 AM, c4droid <c4droid at> wrote:
>> My environment is MacOS Catalina, I installed docker for building
>> kernel. The docker container using -v options to mapping local path to
>> docker container.
> By default MacOS uses a case insensitive file system. Even in Docker, in order to compile Linux you’ll need to create a new case sensitive partition (eg SparseImage, adding a new volume to your disk’s APFS container, or some other Docker magic, etc)
> Shaun

More information about the Kernelnewbies mailing list