Adjusted the Kconfig options for PX4

suimo · Jul 28, 2015 · 324ba8a · 324ba8a
1 parent cb7d408
commit 324ba8a
Showing 1 changed file with 12 additions and 11 deletions.
diff --git a/apps/px4/Kconfig b/apps/px4/Kconfig
@@ -8,19 +8,20 @@
 # @TAG(NICTA_BSD)
 #
 
-menuconfig APP_SEL4TEST
-    bool "seL4 Test"
+menuconfig APP_SEL4PX4
+    bool "PX4 Firmware"
     default y
     depends on LIB_SEL4 && (LIB_MUSL_C || LIB_SEL4_C) && LIB_SEL4_PLAT_SUPPORT && LIB_SEL4_VKA && LIB_SEL4_TEST && LIB_SEL4_UTILS && LIB_UTILS
     help
-        seL4 Test application
+        Build PX4 firmware for use with the seL4 microkernel. 
 
-config HAVE_TIMER
-    depends on APP_SEL4TEST
-    bool "Enable tests that require a timer driver"
-    default n
+#config HAVE_TIMER
+#    depends on APP_SEL4TEST
+#    bool "Enable tests that require a timer driver"
+#    default n
+
+#config HAVE_CACHE
+#    depends on APP_SEL4TEST
+#    bool "Enable tests that require a functioning cache"
+#    default n
 
-config HAVE_CACHE
-    depends on APP_SEL4TEST
-    bool "Enable tests that require a functioning cache"
-    default n