diff options
Diffstat (limited to 'config/kernel')
| -rw-r--r-- | config/kernel/bare-metal.experimental.in | 15 | ||||
| -rw-r--r-- | config/kernel/linux.in | 4 |
2 files changed, 19 insertions, 0 deletions
diff --git a/config/kernel/bare-metal.experimental.in b/config/kernel/bare-metal.experimental.in new file mode 100644 index 0000000..7a4b574 --- /dev/null +++ b/config/kernel/bare-metal.experimental.in @@ -0,0 +1,15 @@ +# Bare metal config options + +config KERNEL_bare_metal + select BARE_METAL + help + Say 'y' here if you want a simple C compiler with no C library. + + 'Bare metal' also refer to those programs that run without any kernel. + + You probably want to say 'y' here if you plan to use your compiler + to build only kernels or bootloaders. + +config BARE_METAL + bool + default n diff --git a/config/kernel/linux.in b/config/kernel/linux.in index 18881d7..7fd0523 100644 --- a/config/kernel/linux.in +++ b/config/kernel/linux.in @@ -1,5 +1,9 @@ # Linux kernel options +config KERNEL_linux + help + Build a toolchain targeting systems running Linux as a kernel. + choice bool prompt "Get kernel headers from:" |