RE: Paging issue with IDT

iocoder · **Posted:** Wed Feb 09, 2011 6:55 am

Thanks b.zaar. it is really a good idea to apply "higher half kernel" method, but i have a question:
As Linux kernel, or the kernel in the wiki page that you linked in your post, appears at 0xC0000000, if there is a PCI Device with a RAM that is addressed with a BAR higher than 0xC0000000, how does the OS deal with this conflict???

Graham · **Posted:** Wed Feb 09, 2011 7:00 am

mostafazizo wrote:

Thanks b.zaar. it is really a good idea to apply "higher half kernel" method, but i have a question:
As Linux kernel, or the kernel in the wiki page that you linked in your post, appears at 0xC0000000, if there is a PCI Device with a RAM that is addressed with a BAR higher than 0xC0000000, how does the OS deal with this conflict???

The kernel appears at 0xC0000000 in virtual memory. Generally in physical memory it is much lower as many computers may not even have over 3 GB of RAM. I would guess that PCI devices are in the physical address space.

OSDev.org

RE: Paging issue with IDT

Who is online