OSDev.org

The Place to Start for Operating System Developers
It is currently Sun Sep 20, 2020 5:51 am

All times are UTC - 6 hours




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: RE: Paging issue with IDT
PostPosted: Wed Feb 09, 2011 6:55 am 
Offline
Member
Member
User avatar

Joined: Sun Oct 18, 2009 5:47 pm
Posts: 208
Location: Alexandria, Egypt | Ottawa, Canada
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
 Profile  
 
 Post subject: Re: RE: Paging issue with IDT
PostPosted: Wed Feb 09, 2011 7:00 am 
Offline

Joined: Thu Mar 04, 2010 7:29 am
Posts: 14
Location: UK
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
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: thewrongchristian and 8 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group