Hi Joan, I can not reply in your thread "Implement paging on the pci arbiter" because i suscribed right now. hope you this links!
This doc talk about libpager. https://www.freesoft.org/software/hurd/building.pdf (https://www.freesoft.org/software/hurd/building.pdf) https://github.com/BrentBaccala/hurd (https://github.com/BrentBaccala/hurd)
