diff options
| author | Jean-Baptiste Theou <jb@essential.com> | 2018-05-09 01:12:05 +0900 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-05-09 09:31:39 +0200 |
| commit | 12c7428ad27a7abbcb1dbf342af448021e8cd372 (patch) | |
| tree | 48b39eaf949c302a80ee43fb5ea6ea44f06c4dcf /executor/executor_linux.h | |
| parent | b88872ba0e2ae9243628945e3ea2a3ae89a92bf7 (diff) | |
docs: add link for PH-1 kernel
Signed-off-by: Jean-Baptiste Theou <jb@essential.com>
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions