diff --git a/tools/build/options/WITHOUT_LOADER_KBOOT b/tools/build/options/WITHOUT_LOADER_KBOOT new file mode 100644 index 000000000000..075c5ffe86dc --- /dev/null +++ b/tools/build/options/WITHOUT_LOADER_KBOOT @@ -0,0 +1 @@ +Do not build kboot, a linuxboot environment loader diff --git a/tools/build/options/WITH_LOADER_KBOOT b/tools/build/options/WITH_LOADER_KBOOT new file mode 100644 index 000000000000..46704afe83f7 --- /dev/null +++ b/tools/build/options/WITH_LOADER_KBOOT @@ -0,0 +1 @@ +Build kboot, a linuxboot environment loader