Merge branch 'hmka2' into freertos-update

Author: heshamelmatary

Jenkinsfile

@@ -93,11 +93,11 @@ pipeline {
   environment {
     PYTHONDONTWRITEBYTECODE = '1'
   }
-  post {
-    failure {
-      mail(to: '[email protected]', subject: "Failed Pipeline: ${currentBuild.fullDisplayName}", body: "Something is wrong with ${env.BUILD_URL}")
-    }
-  }
+  //post {
+  //  failure {
+  //    mail(to: '[email protected]', subject: "Failed Pipeline: ${currentBuild.fullDisplayName}", body: "Something is wrong with ${env.BUILD_URL}")
+  //  }
+  // }
   options {
     checkoutToSubdirectory('src')
     timestamps()

pycheribuild/config/chericonfig.py

@@ -328,6 +328,17 @@ def __init__(self, loader, action_class: "type[CheribuildActionEnum]") -> None:
             group=loader.cross_compile_options_group,
             help="The floating point/SIMD mode to use for building AArch64 programs",
         )
+
+        self.riscv_baremetal_hardfloat = loader.add_bool_option("riscv-baremetal-hardfloat", default=False,
+            group=loader.cross_compile_options_group,
+            help="Use hard floating point ABI for building CHERI-RISC-V programs")
+        self.riscv_cheri_rvc = loader.add_bool_option("riscv-cheri-rvc", default=False,
+            group=loader.cross_compile_options_group,
+            help="Build CHERI-RISC-V projects with compressed CHERI instructions support")
+        self.riscv_cheri_gprel = loader.add_bool_option("riscv-cheri-gprel", default=False,
+            group=loader.cross_compile_options_group,
+            help="Build CHERI-RISC-V libs with gprel ABI for CheriFreeRTOS compartmentalization")
+
         self.crosscompile_linkage = loader.add_option(
             "cross-compile-linkage",
             default=Linkage.DEFAULT,

pycheribuild/config/compilation_targets.py

@@ -277,9 +277,21 @@ def essential_compiler_and_linker_flags_impl(
             result.append("-mabi=" + cls.get_riscv_abi(xtarget, softfloat=softfloat))
             result.append("-mrelax" if _linker_supports_riscv_relaxations(instance.linker, config) else "-mno-relax")
 
+            softfloat = not config.riscv_baremetal_hardfloat
+
             if cls.is_baremetal() or cls.is_rtems():
                 # Both RTEMS and baremetal FreeRTOS are linked above 0x80000000
-                result.append("-mcmodel=medany")
+                result.append("-mcmodel=medium")
+
+            # Enable generating CHERI-RISC-V compressed instructions
+            if config.riscv_cheri_rvc:
+                if xtarget.is_cheri_hybrid() or xtarget.is_cheri_purecap():
+                    result.append("-mxcheri-rvc")
+
+            if config.riscv_cheri_gprel:
+                if xtarget.is_cheri_purecap():
+                    result.append("-cheri-cap-table-abi=gprel")
+
         elif xtarget.is_aarch64(include_purecap=True):
             fp_simd_option = AArch64FloatSimdOptions.SOFT if softfloat else config.aarch64_fp_and_simd_options
             march_suffix = fp_simd_option.clang_march_flag()

pycheribuild/processutils.py

@@ -229,7 +229,7 @@ def keep_terminal_sane(gave_tty_control=False, command: Optional[list] = None):
     finally:
         # Can seemingly get unwanted SIGTTOU's whilst restoring so just ignore
         # them temporarily.
-        with suppress_sigttou(suppress=gave_tty_control):
+        with suppress_sigttou():
             stdin_state.restore()
             stdout_state.restore()
             stderr_state.restore()

pycheribuild/projects/cross/compiler_rt.py

@@ -184,10 +184,14 @@ def install(self, **kwargs):
         if self.target_info.is_rtems():
             self.move_file(self.install_dir / "lib/rtems5" / libname, self.install_dir / "lib" / libname)
         elif self.target_info.is_baremetal():
-            self.move_file(self.install_dir / "lib/baremetal" / libname, self.real_install_root_dir / "lib" / libname)
-            self.create_symlink(
-                self.install_dir / "lib" / libname, self.install_dir / "lib/libgcc.a", print_verbose_only=False
-            )
+            if self.config.riscv_cheri_gprel:
+                gprel_libname = "libclang_rt.builtins-" + self.triple_arch + "-gprel.a"
+                self.move_file(self.install_dir / "lib/baremetal" / libname, self.real_install_root_dir / "lib" / gprel_libname)
+            else:
+                self.move_file(self.install_dir / "lib/baremetal" / libname, self.real_install_root_dir / "lib" / libname)
+                self.create_symlink(
+                    self.install_dir / "lib" / libname, self.install_dir / "lib/libgcc.a", print_verbose_only=False
+                )
 
 
 class BuildUpstreamCompilerRtBuiltins(BuildCompilerRtBuiltins):