RE: Paging issue with IDT

Question about which tools to use, bugs, the best way to implement a function, etc should go here. Don't forget to see if your question is answered in the wiki first! When in doubt post here.
Post Reply
User avatar
iocoder
Member
Member
Posts: 208
Joined: Sun Oct 18, 2009 5:47 pm
Libera.chat IRC: iocoder
Location: Alexandria, Egypt | Ottawa, Canada
Contact:
Contact iocoder

RE: Paging issue with IDT

Post by iocoder »

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???
Top
Graham
Posts: 14
Joined: Thu Mar 04, 2010 7:29 am
Location: UK
Contact:
Contact Graham

Re: RE: Paging issue with IDT

Post by Graham »

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.
Top
Post Reply

Return to “OS Development”