tree ea82b7b10ed290b5c3284492b67545eb2786aa55
parent edb7c78e8e5c5f47053d45e4d4004fac9a0ff475
author David Brazdil <dbrazdil@google.com> 1606988438 +0000
committer David Brazdil <dbrazdil@google.com> 1606988438 +0000

Add linux_menuconfig target

A handy shortcut to change the config of your kernel.

Change-Id: I1341d10a671222920b933a84e941dc42578537da