Add a flag to allow the kernel path to be specified

Test: Local build and boot
Change-Id: Ic87acf1692b6122b7c1d1360394297d6cebadd7d
1 file changed
tree: 27c756ab276798f5d9aeec8aa01267485dcd8536
  1. common/
  2. guest/
  3. host/
  4. tests/
  5. tools/
  6. Android.bp
  7. Android.mk
  8. OWNERS