mirror of
https://github.com/olofk/serv.git
synced 2025-04-20 11:57:07 -04:00
Fix symbols and linker script for compliance tests
This commit is contained in:
parent
40d34d204a
commit
24006a7297
2 changed files with 3 additions and 11 deletions
5
verif/plugin-serv/env/link.ld
vendored
5
verif/plugin-serv/env/link.ld
vendored
|
@ -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) }
|
||||
|
|
9
verif/plugin-serv/env/model_test.h
vendored
9
verif/plugin-serv/env/model_test.h
vendored
|
@ -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
|
||||
#endif // _COMPLIANCE_MODEL_H
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue