Well, I am aware of theses documentations ; but (Extended and Roms may correct me), theses documentations don't provide the necessary information to handle the USB at the low level part (from an OS point of view): all the USB hardware ports, and what they do, are not described.