todd 2ad0b27290 sync		2011-12-08 06:01:02 +00:00
..
notes	Better instructions for accelerated PCI configuration, including a	2011-02-21 18:13:18 +00:00
sets	sync	2011-12-08 06:01:02 +00:00