Re: [PATCH 0/2] i440fx chipset and larger system memory totals

Samuel Thibault <[email protected]> Fri, 14 Aug 2026 00:08:57 +0200

Newsgroups	gmane.os.hurd.bugs
Organization	I am not organized
Message-ID	<an5AeT6e9fD_7eCt@end>

Hello,

Thanks for your work on the bsd mail!

Michael Kelly, le jeu. 13 août 2026 07:24:37 +0100, a ecrit:
> How does NetBSD guarantee that memory pages are allocated from appropriate
> memory segments for geteblk(), rump_sys_pread() and rump_sys_pwrite() ?

I would explicitly mention the problem at stake here: the 32 bitness
of the address being allocated, vs whether some drivers do support 64b
addresses or not.

With cheers,
Samuel