4669f4cc98d687fb1fc1884f46ec275399ed8b82
-rw-r--r-- 1574 booting.rst
-rw-r--r-- 96 features.rst
-rw-r--r-- 286 index.rst
-rw-r--r-- 16794 introduction.rst
-rw-r--r-- 5362 irq-chip-model.rst