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/