From 77e46080d80c913b50bd4fcea136a457c9c8af62 Mon Sep 17 00:00:00 2001
From: Rafal Jaworowski <raj@FreeBSD.org>
Date: Fri, 28 May 2010 10:35:44 +0000
Subject: [PATCH] Introduce kernel build options for the Flattened Device Tree
 support.

Reviewed by:	imp
Sponsored by:	The FreeBSD Foundation
---
 sys/conf/options | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/conf/options b/sys/conf/options
index 8995b4dfef21..c58d901264f4 100644
--- a/sys/conf/options
+++ b/sys/conf/options
@@ -848,3 +848,7 @@ SND_PCM_64		opt_snd.h
 SND_OLDSTEREO		opt_snd.h
 
 X86BIOS
+
+# Flattened device tree options
+FDT		opt_platform.h
+FDT_DTB_STATIC	opt_platform.h