[Docs] Add information about ABI tests

Signed-off-by: Mariusz Zaborski <[email protected]>
aniket-intelx · Jun 1, 2022 · f6731c2 · f6731c2
1 parent d42e0cc
commit f6731c2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Documentation/devel/onboarding.rst b/Documentation/devel/onboarding.rst
@@ -395,6 +395,11 @@ fine on native Linux but fails under Gramine::
          $ gramine-test pytest -v
          $ gramine-test --sgx pytest -v
 
+         # build and run LibOS ABI tests (currently only for x86_64)
+         $ cd LibOS/shim/test/abi/${arch}
+         $ gramine-test pytest -v
+         $ gramine-test --sgx pytest -v
+
          # build and run LibOS FS tests
          $ cd LibOS/shim/test/fs
          $ gramine-test pytest -v