Daniel Leung fd8ffdb833 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>		2022-08-18 17:23:18 +02:00
..
qemu_x86_lakemont.conf
qemu_x86_tiny_768.conf	boards: qemu_x86_tiny: enable support for coverage	2022-08-18 17:23:18 +02:00
qemu_x86_tiny.conf