diff options
Diffstat (limited to 'config/kernel/bare-metal.in')
| -rw-r--r-- | config/kernel/bare-metal.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/config/kernel/bare-metal.in b/config/kernel/bare-metal.in new file mode 100644 index 0000000..2e6b774 --- /dev/null +++ b/config/kernel/bare-metal.in @@ -0,0 +1,12 @@ +# Bare metal config options +# EXPERIMENTAL + +config KERNEL_bare_metal + select BARE_METAL + help + 'Bare metal' refers to those programs that run without any kernel. + + You probably want to say 'y' here if you plan to use your compiler + to build bootloaders. It is not yet suitable to build Linux kernels, + though, because the APCI stuff relies on the target C library headers + being available?!?!... |