diff options
| author | Bowgo Tsai <bowgotsai@google.com> | 2018-12-11 18:33:06 +0800 |
|---|---|---|
| committer | Bowgo Tsai <bowgotsai@google.com> | 2018-12-14 21:35:25 +0800 |
| commit | 1f4b4f99ca6aabc25fc539f44602fa4d4d5df638 (patch) | |
| tree | 3d9adcb9f899e13144a2b49fa7b8745a23fea5da /trusty/coverage/coverage.cpp | |
| parent | 42c9e7e393583dfc243540e3d3b4ae7cdc46467f (diff) | |
Allow init to skip mounting /product and /product_services
mainline-core is still in the progress of defining interfaces between
/system, /product, /product_services. Before that was completely done,
just updating /system to GSI usually couldn't boot a device.
Therefore, this CL allows GSI to specify a config file, telling init
not to mount /product and /product_services. And fallback to
/system/product and /system/product_services in the GSI.
Bug: 120208657
Test: boots a device with /system/etc/init/config/skip_mount.cfg and
checks both /product and /product_services are not mounted.
Change-Id: Ibe2abad30b178a6e552fb21e4b30207fc3ef5523
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions