diff options
| author | Willy Tarreau <[email protected]> | 2022-03-21 18:33:13 +0100 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2022-04-20 17:05:46 -0700 |
| commit | 24326164687b303e3a7a5b8ef83c0f34c5582b2c (patch) | |
| tree | 7925e04c142f04b66475020e45e82491f171a376 /scripts/gdb/linux/utils.py | |
| parent | 96d2a1313fe00927b33bb0ccbc3e8cd731826f7d (diff) | |
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 <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions