On Fri, Apr 14, 2023 at 12:02:26PM +0200, Michal Privoznik wrote:
When starting QEMU, or when hotplugging a PCI device QEMU might lock some memory. How much? Well, that's a undecidable problem: a
s/a undecidable/an undecidable/ As a nitpick I'd even s/:.*QED/:/ so we don't repeat ourselves. Either way Reviewed-by: Martin Kletzander <mklet...@redhat.com>
Turing machine that halts, halts in an finite number of steps, and thus it can move tape only so many times. Now, does given TM halt? QED.
signature.asc
Description: PGP signature
