Marcus Brinkmann <[EMAIL PROTECTED]> writes: > the default pager in serverboot (also used by mach-defpager) is still using > the legacy interfaces memory_object_set_attributes() and > memory_object_data_write() to set the ready attribute and receive data from > the kernel. The newer documentation suggests that memory_object_ready() > and memory_object_data_return() should be used.
In general I have no problem with this. Switching to memory_object_ready means that you have to commit to using the new interface entirely, and IIRC there are several changes to worry about. I don't think any of them affect the default pager. But I would feel happier if you compiled this and did some major stress-testing of it first. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
