todd 9c4d8dc45b sync		2011-04-28 16:58:27 +00:00
..
notes	Better instructions for accelerated PCI configuration, including a	2011-02-21 18:13:18 +00:00
sets	sync	2011-04-28 16:58:27 +00:00