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
..
mbox_api	boards: qemu_x86_tiny: enable support for coverage	2022-08-18 17:23:18 +02:00
mbox_usage	tests: kernel: move the test mbox_usage to new ztest API	2022-08-15 18:40:49 +00:00