From f4226ae9e5e7745c11cff86ae2830186be1d8bf5 Mon Sep 17 00:00:00 2001 From: Norman Ramsey Date: Fri, 29 Oct 2021 10:26:16 -0400 Subject: [PATCH] add a note about libffi --- docs/rts-migration.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/docs/rts-migration.md b/docs/rts-migration.md index 528a1909..beff7c79 100644 --- a/docs/rts-migration.md +++ b/docs/rts-migration.md @@ -65,7 +65,7 @@ time, on a congenial platform like Linux. Using a feature vector will also have advantages for debugging. If a validation test exposes a fault, we can use automation (like -QuickCheck) to find a _minimal_ set of WebAssembly features that +QuickCheck) to find a _minimal_ set of non-POSIX mechanisms features that trigger the fault. Debugging a run-time system can be very time-consuming, and using automation to isolate buggy features should help. @@ -78,3 +78,9 @@ list looks like this: - Signals + - `libffi`[^libffi] + + +[^libffi]: This library is used to help with foreign calls. Its +implementation is deeply platform-dependent. We may have to port a +subset to WebAssembly.