I was curious about that as well. The official ARM site doesn't list one but another distributor lists the related ISBN as epub.

https://www.vitalsource.com/products/operating-systems-found...