tree ab34ccc7d346609ea998ef0a76205980b67bd1e7
parent a76337e22ae41d1bae7e57d2bf445e0aedba1971
author Alex Van Damme <atv@google.com> 1531184156 -0700
committer Alex Van Damme <atv@google.com> 1531184156 -0700

Allow installing kernel module from prebuilt deb

- Add a concept of REQUIRED_MODULES to the kernel-modules build. If a
module is in REQUIRED_MODULES, but the source is not available under
$ROOTDIR/modules, try to fetch it from $PREBUILT_MODULES_ROOT.

Change-Id: Ie240402e83b300c0d24412d1281f9a8ffc118919