Update testing configs

HExSA-Lab · Dec 29, 2020 · b1f52cd · b1f52cd
1 parent 005ad56
commit b1f52cd
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 6 deletions.
diff --git a/configs/testing/default.config b/configs/testing/default.config
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 #Nautilus: 
-# Mon Dec 28 18:12:42 2020
+# Mon Dec 28 18:26:53 2020
 #
 
 #
@@ -92,9 +92,7 @@ NAUT_CONFIG_BASE_LIBM_COMPAT=y
 # NAUT_CONFIG_DEBUG_BASE_LIBM_COMPAT is not set
 NAUT_CONFIG_BASE_LINUX_COMPAT=y
 # NAUT_CONFIG_DEBUG_BASE_LINUX_COMPAT is not set
-NAUT_CONFIG_BASE_PTHREAD_COMPAT=y
-# NAUT_CONFIG_BASE_PTHREAD_COMPAT_TESTS is not set
-# NAUT_CONFIG_DEBUG_BASE_PTHREAD_COMPAT is not set
+# NAUT_CONFIG_BASE_PTHREAD_COMPAT is not set
 
 #
 # Optimizations

diff --git a/configs/testing/full-debug.config b/configs/testing/full-debug.config
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 #Nautilus: 
-# Wed Jul 29 15:53:34 2020
+# Mon Dec 28 18:26:21 2020
 #
 
 #
@@ -77,6 +77,7 @@ NAUT_CONFIG_TEST_FIBERS=y
 #
 # NAUT_CONFIG_WATCHDOG is not set
 # NAUT_CONFIG_ISOCORE is not set
+NAUT_CONFIG_HARDWARE_TLS=y
 # NAUT_CONFIG_CACHEPART is not set
 
 #
@@ -89,10 +90,22 @@ NAUT_CONFIG_TEST_FIBERS=y
 #
 # NAUT_CONFIG_XSAVE_SUPPORT is not set
 
+#
+# Compatability
+#
+NAUT_CONFIG_BASE_LIBC_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LIBC_COMPAT is not set
+NAUT_CONFIG_BASE_LIBM_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LIBM_COMPAT is not set
+NAUT_CONFIG_BASE_LINUX_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LINUX_COMPAT is not set
+# NAUT_CONFIG_BASE_PTHREAD_COMPAT is not set
+
 #
 # Optimizations
 #
 NAUT_CONFIG_FPU_SAVE=y
+NAUT_CONFIG_FPU_SAVE_IRQ_EXCP=y
 # NAUT_CONFIG_KICK_SCHEDULE is not set
 # NAUT_CONFIG_HALT_WHILE_IDLE is not set
 # NAUT_CONFIG_THREAD_OPTIMIZE is not set
@@ -119,6 +132,7 @@ NAUT_CONFIG_ENABLE_ASSERTS=y
 # NAUT_CONFIG_DEBUG_SHELL is not set
 # NAUT_CONFIG_DEBUG_SFI is not set
 # NAUT_CONFIG_DEBUG_CXX is not set
+# NAUT_CONFIG_DEBUG_ENVS is not set
 # NAUT_CONFIG_DEBUG_THREADS is not set
 NAUT_CONFIG_DEBUG_FIBERS=y
 NAUT_CONFIG_DEBUG_TASKS=y

diff --git a/configs/testing/prov_test.config b/configs/testing/prov_test.config
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 #Nautilus: 
-# Wed Jul 29 11:42:35 2020
+# Mon Dec 28 18:33:18 2020
 #
 
 #
@@ -71,6 +71,7 @@ NAUT_CONFIG_APERIODIC_ROUND_ROBIN=y
 #
 # NAUT_CONFIG_WATCHDOG is not set
 # NAUT_CONFIG_ISOCORE is not set
+NAUT_CONFIG_HARDWARE_TLS=y
 # NAUT_CONFIG_CACHEPART is not set
 
 #
@@ -83,10 +84,22 @@ NAUT_CONFIG_APERIODIC_ROUND_ROBIN=y
 #
 # NAUT_CONFIG_XSAVE_SUPPORT is not set
 
+#
+# Compatability
+#
+NAUT_CONFIG_BASE_LIBC_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LIBC_COMPAT is not set
+NAUT_CONFIG_BASE_LIBM_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LIBM_COMPAT is not set
+NAUT_CONFIG_BASE_LINUX_COMPAT=y
+# NAUT_CONFIG_DEBUG_BASE_LINUX_COMPAT is not set
+# NAUT_CONFIG_BASE_PTHREAD_COMPAT is not set
+
 #
 # Optimizations
 #
 NAUT_CONFIG_FPU_SAVE=y
+NAUT_CONFIG_FPU_SAVE_IRQ_EXCP=y
 # NAUT_CONFIG_KICK_SCHEDULE is not set
 # NAUT_CONFIG_HALT_WHILE_IDLE is not set
 # NAUT_CONFIG_THREAD_OPTIMIZE is not set
@@ -115,6 +128,7 @@ NAUT_CONFIG_DEBUG_PROVENANCE=y
 # NAUT_CONFIG_DEBUG_SHELL is not set
 # NAUT_CONFIG_DEBUG_SFI is not set
 # NAUT_CONFIG_DEBUG_CXX is not set
+# NAUT_CONFIG_DEBUG_ENVS is not set
 # NAUT_CONFIG_DEBUG_THREADS is not set
 # NAUT_CONFIG_DEBUG_TASKS is not set
 # NAUT_CONFIG_DEBUG_WAITQUEUES is not set