Hi!
I am looking for instructions on how to run a bare metal binary generated by GCC under FVP.
For example:
#include <stdio.h>
int main()
{
fprintf(stderr,"hello world!\n");
}
Currently, I compile it with:
aarch64-none-elf-gcc -march=morello+c64 -mabi=purecap -specs=rdimon.specs -std=c11 -gdwarf-4 -pedantic dummy.c
Ideally, I would like to run it without UI and capture the output for test automation.
I tried, naively, the following (suggested by a colleague):
$ ~/cheri/output/morello-sdk/FVP_Morello/models/Linux64_GCC-6.4/FVP_Morello -q -C disable_visualisation=true -C css.terminal_uart_ap.quiet=1 -C board.terminal_uart0_board.start_telnet=0 -C board.terminal_uart0_board.quiet=1 -C board.terminal_uart1_board.start_telnet=0 -C board.terminal_uart1_board.quiet=1 -C css.mcp.terminal_uart0.start_telnet=0 -C css.mcp.terminal_uart0.quiet=1 -C css.mcp.terminal_uart1.start_telnet=0 -C css.mcp.terminal_uart1.quiet=1 -C css.scp.terminal_uart_aon.start_telnet=0 -C css.scp.terminal_uart_aon.quiet=1 -C css.terminal_sec_uart_ap.start_telnet=0 -C css.terminal_sec_uart_ap.quiet=1 -C css.terminal_uart1_ap.start_telnet=0 -C css.terminal_uart1_ap.quiet=1 --cyclelimit 2000000 --start 0x00000010310000 -a a.out
but it did not work.
Vadim
--
Senior Research Associate
Department of Computer Science and Technology
University of Cambridge
http://zaliva.org/