armv5: make cpu driver run again.
[barrelfish] / include / target / arm / barrelfish_kpi /
drwxr-xr-x   ..
-rw-r--r-- 1808 arm_core_data.h
-rw-r--r-- 1353 dispatcher_shared_target.h
-rw-r--r-- 1973 paging_arm_v5.h
-rw-r--r-- 6120 paging_arm_v7.h
-rw-r--r-- 6159 paging_arm_v7m.h