diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:37:21 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 10:19:39 +0000 |
| commit | bd62a9525ad480f1503acfee7c29e1b0ce5a2749 (patch) | |
| tree | 478c577237929696131d135873a609ab601619a6 /docs/headerparser_usage.md | |
| parent | f44873e33df5bb834265aeced37ef199ce0717c7 (diff) | |
vm/kvm: delete
Delete support for kvmtool.
We don't use it, I have not heard anybody using it in the past 5 years.
The last commit in https://github.com/kvmtool/kvmtool is done 2 years ago.
And it was never fully working (see taskset hack to avoid races).
Diffstat (limited to 'docs/headerparser_usage.md')
0 files changed, 0 insertions, 0 deletions