From c10698b8b45cd3250d5cddaa60bd257514b72085 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Sun, 11 Jun 2006 01:55:43 +0000
Subject: [PATCH] Add NULL_TRAP as a config option

---
 src/config.h      | 1 +
 src/core/config.c | 8 ++++++++
 2 files changed, 9 insertions(+)

diff --git a/src/config.h b/src/config.h
index 7dfba144..ac15f779 100644
--- a/src/config.h
+++ b/src/config.h
@@ -124,5 +124,6 @@
 				 * "make bin/rtl8139.dsk bs" */
 #undef	BUILD_ID		/* Include a custom build ID string,
 				 * e.g "test-foo" */
+#undef	NULL_TRAP		/* Attempt to catch NULL function calls */
 
 /* @END general.h */
diff --git a/src/core/config.c b/src/core/config.c
index ce92d90a..3a57ffd5 100644
--- a/src/core/config.c
+++ b/src/core/config.c
@@ -199,3 +199,11 @@ REQUIRE_OBJECT ( wince );
 #ifdef	PXE_IMAGE
 REQUIRE_OBJECT ( pxe );
 #endif
+
+/*
+ * Drag in miscellaneous objects
+ *
+ */
+#ifdef	NULL_TRAP
+REQUIRE_OBJECT ( nulltrap );
+#endif