tree 1f28278f9fcda68998ce0eee1d2f1107c5966be4
parent 9efc02d02cc22c05851e24790192b3c621a3931f
author David Brazdil <dbrazdil@google.com> 1613155056 +0000
committer David Brazdil <dbrazdil@google.com> 1613155184 +0000

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