From 85711bdda31a34a16c6458b0e824a3dd5f753929 Mon Sep 17 00:00:00 2001 From: Nick Desaulniers Date: Fri, 10 Jan 2025 14:40:57 -0800 Subject: [PATCH] [libc][docs] update docs on how to build linux kernel headers from src (#122381) It's simpler than the directions we have; which are very very Debian specific. --- libc/docs/full_host_build.rst | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/libc/docs/full_host_build.rst b/libc/docs/full_host_build.rst index e25079141f47..12aacf181695 100644 --- a/libc/docs/full_host_build.rst +++ b/libc/docs/full_host_build.rst @@ -175,17 +175,15 @@ Linux Headers ============= If you are using the full libc on Linux, then you will also need to install -Linux headers in your sysroot. The way to do this varies per system. - -These instructions should work on a Debian-based x86_64 system: +Linux headers in your sysroot. Let's build them from source. .. code-block:: sh - $> apt download linux-libc-dev - $> dpkg -x linux-libc-dev*deb . - $> cp -r usr/* /path/to/sysroot/ - $> rm -r usr linux-libc-dev*deb - $> ln -s /path/to/sysroot/include/x86_64-linux-gnu/asm /path/to/sysroot/include/asm + $> git clone --depth=1 git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git /tmp/linux + $> make LLVM=1 INSTALL_HDR_PATH=/path/to/sysroot -C /tmp/linux headers_install + +The headers can be built to target non-host architectures by adding the +``ARCH={arm|arm64|i386}`` to the above invocation of ``make``. Using your newly built libc ===========================