diff options
| author | David Goldblatt <davidgoldblatt@fb.com> | 2018-05-04 10:44:17 -0700 |
|---|---|---|
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | 2018-05-04 15:50:12 -0700 |
| commit | b001e6e7407cd7e07bad533445eee7f0224cb268 (patch) | |
| tree | 3316266e2edb7b686d9347a196a4892f0f80d48c /scripts/gen_run_tests.py | |
| parent | 63712b4c4e046e9d91807d0e1b5c890c52925379 (diff) | |
INSTALL.md: Clarify --with-lg-vaddr.
The current wording can be taken to imply that we return tagged pointers to the
user, or otherwise rely on architectural support for them.
Diffstat (limited to 'scripts/gen_run_tests.py')
0 files changed, 0 insertions, 0 deletions