diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:37:28 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:19:39 +0000 |
| commit | 33fec5a3ec55bce7f1664e70e6f5ff8daf56886d (patch) | |
| tree | 1145b24ee92f5e397718609a112b274f06cd48a6 /executor/common.h | |
| parent | bd62a9525ad480f1503acfee7c29e1b0ce5a2749 (diff) | |
vm/odroid: delete
Delete support for odroid board.
It's build broken for >3 years (at least on 8ba8079b119f).
We keep it in history and if it's resurrected, it needs
to be merged with vm/isolated and most code needs to be
at least build-tested (mock out only the C interface).
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions