Dmitry Vyukov e502f1a6df docs: remove mentions of vmlinux
vmlinux is deprecated in favor of kernel_obj.
Remove all mentions of it.
Also warn in syz-manager/mgrconfig if vmlinux is set.
2018-06-28 13:42:04 +02:00
..
2018-06-28 13:42:04 +02:00
2017-11-29 08:55:05 +01:00
2018-06-28 13:42:04 +02:00
2018-06-28 13:42:04 +02:00
2018-02-20 20:21:07 +01:00
2018-06-11 11:36:50 +02:00