config/kernel/bare-metal.in
| author |
Zhenqiang Chen <zhenqiang.chen@linaro.org> |
|
Mon Dec 30 23:15:02 2013 +0100 (2013-12-30) |
| changeset 3261 |
3b61be3d7aa6 |
| parent 1030 |
e5bf882d6514
|
| permissions |
-rw-r--r-- |
kernel/linux: prepare for arch whose kenel name is not the standard name
For some architectures, the kernel architecture name is not the common
name of the architecture for other tools.
For example: ARM 64-bit is commonly referenced as aarch64, but the kernel
calls it arm64.
Signed-off-by: Michael Hope <michael.hope@linaro.org>
Signed-off-by: Zhenqiang Chen <zhenqiang.chen@linaro.org>
[yann.morin.1998@free.fr: split out of the aarch64 patch]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
|
yann@861
|
1 |
# Bare metal config options
|
|
yann@861
|
2 |
|
|
yann@2444
|
3 |
## select BARE_METAL
|
|
yann@2444
|
4 |
##
|
|
yann@2444
|
5 |
## help 'Bare metal' refers to those programs that run without any kernel.
|
|
yann@2444
|
6 |
## help
|
|
yann@2444
|
7 |
## help You probably want to say 'y' here if you plan to use your compiler
|
|
yann@2444
|
8 |
## help to build bootloaders. It is not yet suitable to build Linux kernels,
|
|
yann@2444
|
9 |
## help though, because the APCI stuff relies on the target C library headers
|
|
yann@2444
|
10 |
## help being available?!?!...
|