tools/nolibc: add a makefile to install headers
authorWilly Tarreau <w@1wt.eu>
Mon, 21 Mar 2022 17:33:13 +0000 (18:33 +0100)
committerPaul E. McKenney <paulmck@kernel.org>
Thu, 21 Apr 2022 00:05:46 +0000 (17:05 -0700)
commit24326164687b303e3a7a5b8ef83c0f34c5582b2c
tree7925e04c142f04b66475020e45e82491f171a376
parent96d2a1313fe00927b33bb0ccbc3e8cd731826f7d
tools/nolibc: add a makefile to install headers

This provides a target "headers_standalone" which installs the nolibc's
arch-specific headers with "arch.h" taken from the current arch (or a
concatenation of both i386 and x86_64 for arch=x86), then installs
kernel headers. This creates a convenient sysroot which is directly
usable by a bare-metal compiler to create any executable.

Signed-off-by: Willy Tarreau <w@1wt.eu>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/include/nolibc/Makefile [new file with mode: 0644]