| commit | fd8ffdb8331c5fd866759e59fc578b98d08cebce | [log] [tgz] |
|---|---|---|
| author | Daniel Leung <daniel.leung@intel.com> | Tue Jul 26 13:19:17 2022 -0700 |
| committer | Carles Cufí <carles.cufi@nordicsemi.no> | Thu Aug 18 17:23:18 2022 +0200 |
| tree | d24b1cd59c73d64a4656aff12424cfba023658a2 | |
| parent | ee40548788689d047b5630687562f9ce3973ace1 [diff] |
boards: qemu_x86_tiny: enable support for coverage This adds the bits so that we can use qemu_x86_tiny for coverage, as this is currently the only board that can do demand paging. This uses the board revision as a way to specify the RAM size as coverage requires more memory available to store the coverage data. By piggybacking onto board revision, this avoids adding another board config just for coverage. Signed-off-by: Daniel Leung <daniel.leung@intel.com>