Fix symbols and linker script for compliance tests

olofk · Aug 22, 2024 · 24006a7 · 24006a7
1 parent 40d34d2
commit 24006a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 11 deletions.
diff --git a/verif/plugin-serv/env/link.ld b/verif/plugin-serv/env/link.ld
@@ -1,15 +1,12 @@
 OUTPUT_ARCH( "riscv" )
-ENTRY(_start)
+ENTRY(rvtest_entry_point)
 
 SECTIONS
 {
   . = 0x00000000;
   .text.init : { *(.text.init) }
-  . = ALIGN(0x1000);
   .tohost : { *(.tohost) }
-  . = ALIGN(0x1000);
   .text : { *(.text) }
-  . = ALIGN(0x1000);
   .data : { *(.data) }
   .data.string : { *(.data.string)}
   .bss : { *(.bss) }

diff --git a/verif/plugin-serv/env/model_test.h b/verif/plugin-serv/env/model_test.h
@@ -48,12 +48,7 @@
     .align 4; .global end_signature; end_signature:   \
 
 
-#define RVMODEL_BOOT \
-.section .text.init;                                            \
-        .align  4;                                                      \
-        .globl _start;                                                  \
-_start:  
-
+#define RVMODEL_BOOT
 
 #define LOCAL_IO_WRITE_STR(_STR) RVMODEL_IO_WRITE_STR(x31, _STR)
 #define RVMODEL_IO_WRITE_STR(_SP, _STR)
@@ -68,4 +63,4 @@
 #define RVMODEL_CLEAR_MTIMER_INT
 #define RVMODEL_CLEAR_MEXT_INT
 
-#endif // _COMPLIANCE_MODEL_H
+#endif // _COMPLIANCE_MODEL_H