| commit | a0846c9f19e0ba76dd3e2c7688339b0c4fcc886e | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Fri Feb 12 18:37:36 2021 +0000 |
| committer | David Brazdil <dbrazdil@google.com> | Fri Feb 12 18:39:44 2021 +0000 |
| tree | 1f28278f9fcda68998ce0eee1d2f1107c5966be4 | |
| parent | 9efc02d02cc22c05851e24790192b3c621a3931f [diff] |
Increase default number of CPUs to 4 Increasing parallelism might increase our chances of catching concurrency bugs, eg. in page table modifications. Change-Id: Ieb9695d7a3f4daca9dbc1f877d99ad118ef9f1d3