On Mon, Apr 24, 2023, Aaron Lewis wrote: > Add additional pages to the guest to account for the number of pages > the ucall framework uses. > > This is done in preparation for adding string formatting options to > the guest through ucall helpers. IIUC, this is a bug fix, but things work today because the ucall overhead is small enough to be covered by the arbitrary 512 page buffer. If that's correct, please state that in the changelog.
