diff options
| author | Anton Lindqvist <anton.lindqvist@gmail.com> | 2018-08-31 21:30:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-01 21:46:58 -0700 |
| commit | d0e00721b8c9151272cc9a4c743a4f2f37ddd089 (patch) | |
| tree | e006465382c93748c52889240fe67883751aa8a0 /executor/executor_windows.h | |
| parent | 19cfcead69273559ae293a84ce108d00416a3e55 (diff) | |
sys/targets: allow the name of kernel to be specified per target
Assuming the kernel is named vmlinux does not work for OpenBSD.
Diffstat (limited to 'executor/executor_windows.h')
0 files changed, 0 insertions, 0 deletions