diff --git a/tools/build/options/WITHOUT_LIBCPLUSPLUS b/tools/build/options/WITHOUT_LIBCPLUSPLUS
new file mode 100644
index 000000000000..2449e30d4b10
--- /dev/null
+++ b/tools/build/options/WITHOUT_LIBCPLUSPLUS
@@ -0,0 +1,2 @@
+.\" $FreeBSD$
+Set to avoid building libcxxrt and libc++.
diff --git a/tools/build/options/WITH_GPL_DTC b/tools/build/options/WITH_GPL_DTC
new file mode 100644
index 000000000000..e5a1e957798d
--- /dev/null
+++ b/tools/build/options/WITH_GPL_DTC
@@ -0,0 +1,3 @@
+.\" $FreeBSD$
+Set to build the GPL'd version of the device tree compiler from elinux.org,
+instead of the BSD licensed one.