diff --git a/fpga/verify.awk b/fpga/verify.awk index c9daa98..1db7959 100644 --- a/fpga/verify.awk +++ b/fpga/verify.awk @@ -11,9 +11,9 @@ END { printf "Test summary:\n" printf " Bootrom: %s\n", bootrom_ok ? "OK" : "FAIL"; printf " OpenSBI: %s\n", opensbi_ok ? "OK" : "FAIL"; - #printf " Result: %s\n", test_ok ? "OK" : "FAIL"; + printf " Result: %s\n", test_ok ? "OK" : "FAIL"; - if (bootrom_ok && opensbi_ok) + if (test_ok) exit 0; else exit 1; diff --git a/opensbi-test-plic.patch b/opensbi-test-plic.patch index 6222ef9..427072d 100644 --- a/opensbi-test-plic.patch +++ b/opensbi-test-plic.patch @@ -131,7 +131,7 @@ index 0ae604a..7b1d95e 100644 + +static void supervisor_trap_entry(void) +{ -+ sbi_printf("\nSupervisor Trap Entry Reached!\n"); ++ sbi_printf("\nSupervisor Trap Entry Reached!\nTEST-RESULT-OK\n"); +} + +static void do_plic_test(void)