Re: wpi0: Full open source driver at openbsd

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: der Mouse <mouse@...>
Cc: <tech-kern@...>
Date: Friday, October 5, 2007 - 1:35 pm

On Fri, Oct 05, 2007 at 12:51:56PM -0400, der Mouse wrote:

To really prevent this, you need an MMU between the expansion bus and
the main memory.  While some systems have been built that way for a long
time (e.g. sparc64) others have not: this feature only really began to
appear on i386 systems as the AGP GART, which isn't really flexible
enough to offer the protection needed in this case, and has only really
been present on any common i386 or amd64 system within the past couple
of years -- and AMD and Intel do it differently, and we don't support
either; nor do most other operating systems.

In sum, PCI DMA on most systems with PCI is direct to host memory addresses
and there's no protection mechanism in between.  A malicious device can write
whatever part of host memory it cares to.
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
wpi0: could not read firmware file, C. K., (Wed Oct 3, 9:52 am)
Re: wpi0: could not read firmware file, Juan RP, (Wed Oct 3, 11:16 am)
Re: wpi0: Full open source driver at openbsd, C. K., (Wed Oct 3, 11:51 am)
Re: wpi0: Full open source driver at openbsd, Pierre Pronchery, (Wed Oct 3, 2:33 pm)
Re: wpi0: Full open source driver at openbsd, Pierre Pronchery, (Wed Oct 3, 2:26 pm)
Re: wpi0: Full open source driver at openbsd, Karl Sjödahl - dunceor, (Fri Oct 5, 4:03 am)
Re: wpi0: Full open source driver at openbsd, Eric Haszlakiewicz, (Fri Oct 5, 10:42 am)
Re: wpi0: Full open source driver at openbsd, der Mouse, (Fri Oct 5, 12:51 pm)
Re: wpi0: Full open source driver at openbsd, Thor Lancelot Simon, (Fri Oct 5, 1:35 pm)
Re: wpi0: Full open source driver at openbsd, David Young, (Fri Oct 5, 1:23 pm)
Re: wpi0: Full open source driver at openbsd, Joerg Sonnenberger, (Fri Oct 5, 1:11 pm)
Re: wpi0: Full open source driver at openbsd, David Young, (Sun Oct 7, 10:07 pm)
Re: wpi0: Full open source driver at openbsd, Joerg Sonnenberger, (Mon Oct 8, 2:55 am)
Re: wpi0: Full open source driver at openbsd, David Young, (Mon Oct 8, 1:35 pm)
Re: wpi0: Full open source driver at openbsd, Thor Lancelot Simon, (Mon Oct 8, 3:19 pm)
Re: wpi0: Full open source driver at openbsd, David Young, (Mon Oct 8, 3:24 pm)
Re: wpi0: Full open source driver at openbsd, der Mouse, (Sat Oct 6, 3:01 am)
Re: wpi0: could not read firmware file, C. K., (Wed Oct 3, 11:27 am)