tree 019644f12039156594e7edc87c243b33656d5846
parent 18d2238fa1cacebee5016c93f81c0c8b476d0ba1
author Stanislav Zholnin <zholnin@google.com> 1617039462 +0100
committer Stanislav Zholnin <zholnin@google.com> 1617284014 +0100

Add more modifiable parameters to DeviceConfig.

Make list of ops tracked and op flag modifiable using
device_config.

Test: in development
Bug: 176965672
Change-Id: I82a20be94d73dbe8cf710e5aebe718c9a5b41a25