tree 1a0e5fbc9216d3957247575d55f9318d6ac708b8
parent bd17df6889057b8ccdbc09561ce5bcd0a15a29d9
author Derek Chow <derekjchow@google.com> 1709016967 -0800
committer Derek Chow <derekjchow@google.com> 1709252408 -0800

Add option to disable VCore.

Change-Id: Ie139a62fb0ac755dc5fbbec61b8b7aa68c17425e