diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-04-16 21:52:40 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-04-16 21:52:40 +0200 |
| commit | b80fd3b5d429f4d59731a40bf2bcda0c571365e0 (patch) | |
| tree | 94c03461362f53d5befb1aa915ccad4479e3a7b6 /docs/linux | |
| parent | 5e6a2eea61587ea617ca9b6677ea1d7181132e12 (diff) | |
executor: support 32-bit kernels
There is no autodetection yet, but at least bitness
is encapsulated in cover_t type.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions