On 2005.06.15 20:56:13 +0000, Zeljko Vrba wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: RIPEMD160
> 
> Hi!
> 
> I'm a PhD student in operating systems. I will not go into the details of my
> work, but I'm considering NetBSD for my starting point. What I will most
> probably do is to strip down all of the UNIX, filesystem (and maybe even
> UVM)
> stuff which would leave me with the boot loader, device drivers and bus
> management... from this point I will design OS based on other abstractions
> than UNIX model.
> 
> One of the reasons for choosing BSD is its clean code base (Linux code looks
> simply horrible compared to the BSD code) and that the kernel API has
> excellent
> reference documentation in man pages.
> 
> However, for the start I'm looking for high-level design (or other)
> documents
> that would help me understand the workings of the device driver and bus
> model
> (routines like pci_*, then DMA mappings and such). Probably I'll need to
> read
> something about the PCI programming itself, so pointers to this subjects are
> welcome too.

The NetBSD-PT group has some pointers you'll probably be interested in:
	http://netbsd-pt.org/?q=node/34


-- 
Rui Paulo