From 9a76af809aa1732552e6c289b0ede261d7c9256c Mon Sep 17 00:00:00 2001 From: David Harris Date: Mon, 14 Oct 2024 15:28:28 -0700 Subject: [PATCH] Documented ecall services in WALLY-init-lib --- tests/coverage/WALLY-init-lib.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tests/coverage/WALLY-init-lib.h b/tests/coverage/WALLY-init-lib.h index 7e2aee771..3a40d8351 100644 --- a/tests/coverage/WALLY-init-lib.h +++ b/tests/coverage/WALLY-init-lib.h @@ -28,6 +28,12 @@ // The PMP tests are sensitive to the exact addresses in this code, so unfortunately // modifying anything breaks those tests. +// Provides simple firmware services through ecall. Place argument in a0 and issue ecall: +// 0: change to user mode +// 1: change to supervisor mode +// 3: change to machine mode +// 4: terminate program + .section .text.init .global rvtest_entry_point