[davtbaum]

Check out chapter 10 of the Definitive Guide to ARM [1]. It's not a guide, but the best resource I found in regards to OS support on the platform.

1. http://books.google.com/books?id=5OZblBzjsJ0C&pg=PA181&lpg=P...