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.
When starting QEMU, or when hotplugging a PCI device QEMU might
lock some memory. How much? Well, that's a undecidable problem: a
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.
But despite that, we try to
