Messages in this thread | | | Date | Wed, 24 Jun 2020 07:46:17 -0700 | From | Kees Cook <> | Subject | Re: [PATCH v2 3/5] arm64: vdso: Don't use gcc plugins for building vgettimeofday.c |
| |
On Wed, Jun 24, 2020 at 03:33:28PM +0300, Alexander Popov wrote: > Don't use gcc plugins for building arch/arm64/kernel/vdso/vgettimeofday.c > to avoid unneeded instrumentation. > > Signed-off-by: Alexander Popov <alex.popov@linux.com>
It looks like Will has taken this already, but:
Acked-by: Kees Cook <keescook@chromium.org>
-- Kees Cook
| |