1 |
On Tuesday, 13 October 2020 08:08:33 BST J. Roeleveld wrote: |
2 |
> On Tuesday, October 13, 2020 3:04:33 AM CEST Walter Dnes wrote: |
3 |
> > I'm near the tail-end of an install, trying to build the kernel. |
4 |
> > |
5 |
> > "make" gets an error as follows. Any ideas? |
6 |
> > |
7 |
> > (chroot) livecd /usr/src/linux # make |
8 |
> > |
9 |
> > CALL scripts/checksyscalls.sh |
10 |
> > CALL scripts/atomic/check-atomics.sh |
11 |
> > DESCEND objtool |
12 |
> > CHK include/generated/compile.h |
13 |
> > CHK kernel/kheaders_data.tar.xz |
14 |
> > GEN kernel/kheaders_data.tar.xz |
15 |
> > |
16 |
> > make[1]: *** [kernel/Makefile:133: kernel/kheaders_data.tar.xz] Error 127 |
17 |
> > make: *** [Makefile:1729: kernel] Error 2 |
18 |
> |
19 |
> Try disabling CONFIG_IKHEADERS in your kernel config. |
20 |
> I have it disabled on my system. |
21 |
> |
22 |
> -- |
23 |
> Joost |
24 |
|
25 |
In kernel headers are typically used on OSs which do not have kernel headers |
26 |
in their filesystem, like Android on embedded devices. I'm not sure it would |
27 |
be required on a desktop/server PC, unless some special requirements dictate |
28 |
it to be so. |