diff --git a/docs/hypervisor-guide/code-coverage.rst b/docs/hypervisor-guide/code-coverage.rst index 49c4a8ad3b..a0b787b379 100644 --- a/docs/hypervisor-guide/code-coverage.rst +++ b/docs/hypervisor-guide/code-coverage.rst @@ -8,11 +8,6 @@ the coverage of its own basic blocks. Being a piece of system software rather than a userspace, it can't automatically write coverage out to the filesystem, so some extra steps are required to collect and process the data. -.. warning:: - - ARM doesn't currently boot when the final binary exceeds 2MB in size, - and the coverage build tends to exceed this limit. - Compiling Xen -------------