kconfig: Add a "HOSTED" config option.
This option says whether depthcharge is hosted by some other software and needs
to respect its boundaries and not access arbitrary regions of memory.
Change-Id: I67b899148980c14284f56ff04b9f421e4dc0e967
diff --git a/src/Kconfig b/src/Kconfig
index 906dad5..57cd9e3 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -54,6 +54,16 @@
string "Extra flags for the compiler when linking"
default ""
+config HOSTED
+ default n
+ bool
+ help
+ Whether depthcharge is hosted by some other piece of software. That
+ might be, for instance, UEFI, or a running Linux kernel. This does
+ not include situations where something else ran before depthcharge
+ but surrendered control of the system to it when depthcharge started
+ running.
+
source src/arch/Kconfig
source src/base/Kconfig
