| commit | b001e6e7407cd7e07bad533445eee7f0224cb268 | [log] [tgz] |
|---|---|---|
| author | David Goldblatt <davidgoldblatt@fb.com> | Fri May 04 10:44:17 2018 -0700 |
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | Fri May 04 15:50:12 2018 -0700 |
| tree | 3316266e2edb7b686d9347a196a4892f0f80d48c | |
| 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.