diff --git a/verif/plugin-serv/env/link.ld b/verif/plugin-serv/env/link.ld index db7be33..0225e89 100644 --- 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 index e247bf8..f7ffdf1 100644 --- 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 @@ _start: #define RVMODEL_CLEAR_MTIMER_INT #define RVMODEL_CLEAR_MEXT_INT -#endif // _COMPLIANCE_MODEL_H \ No newline at end of file +#endif // _COMPLIANCE_MODEL_H