More cleanup (HWTLS config, FP save on IRQ/EXCP config)

Author: PeterDinda

Kconfig

@@ -904,6 +904,14 @@ menu "Optimizations"
         Compiles the kernel to save FPU state on every context switch. 
         This is not strictly necessary if processors are not virtualized 
         (by the HRT).
+
+    config FPU_SAVE_IRQ_EXCP
+      bool "Save FPU state on all interrupts and exceptions"
+      default y
+      help
+        Compiles the kernel to save FPU state on every exception and interrupt.
+	This is necessary if it is possible for the compiler to use
+	FP/SSE/AVX/etc state during an exception or interrupt handler
 
     config KICK_SCHEDULE
         bool "Kick cores with IPIs on scheduling events"

configs/testing/default.config

@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 #Nautilus: 
-# Mon Dec 28 17:45:09 2020
+# Mon Dec 28 18:12:42 2020
 #
 
 #
@@ -70,7 +70,7 @@ NAUT_CONFIG_APERIODIC_ROUND_ROBIN=y
 #
 # NAUT_CONFIG_WATCHDOG is not set
 # NAUT_CONFIG_ISOCORE is not set
-# NAUT_CONFIG_HARDWARE_TLS is not set
+NAUT_CONFIG_HARDWARE_TLS=y
 # NAUT_CONFIG_CACHEPART is not set
 
 #
@@ -90,12 +90,17 @@ 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 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
 
 #
 # Optimizations
 #
 NAUT_CONFIG_FPU_SAVE=y
+NAUT_CONFIG_FPU_SAVE_IRQ_EXCP=y
 NAUT_CONFIG_KICK_SCHEDULE=y
 NAUT_CONFIG_HALT_WHILE_IDLE=y
 # NAUT_CONFIG_THREAD_OPTIMIZE is not set

src/asm/excp_early.S

@@ -75,7 +75,7 @@ GLOBAL(early_irq_common)
 
     SAVE_GPRS()
 
-#ifdef NAUT_CONFIG_FPU_SAVE
+#ifdef NAUT_CONFIG_FPU_SAVE_IRQ_EXCP
     /* Save the FPRs */
     movq %gs:0x0, %rax
     movzwq 16(%rax), %rbx
@@ -208,7 +208,7 @@ skip_cat_exit:
 
 #endif
 
-#ifdef NAUT_CONFIG_FPU_SAVE
+#ifdef NAUT_CONFIG_FPU_SAVE_IRQ_EXCP
     /* Restore the FPRs */
     movq %gs:0x0, %rax
     movzwq 16(%rax), %rbx
@@ -241,7 +241,7 @@ GLOBAL(early_excp_common)
 
     SAVE_GPRS()
 
-#ifdef NAUT_CONFIG_FPU_SAVE
+#ifdef NAUT_CONFIG_FPU_SAVE_IRQ_EXCP
     /* Save the FPRs */
     movq %gs:0x0, %rax
     movzwq 16(%rax), %rbx
@@ -298,7 +298,7 @@ skip_per_cpu_update1:
 
 skip_per_cpu_update2:   
 
-#ifdef NAUT_CONFIG_FPU_SAVE
+#ifdef NAUT_CONFIG_FPU_SAVE_IRQ_EXCP
     /* Restore the FPRs */
     movq %gs:0x0, %rax
     movzwq 16(%rax), %rbx