Index: uspace/lib/c/arch/arm32/include/cp15.h
===================================================================
--- uspace/lib/c/arch/arm32/include/cp15.h	(revision a14f3465b7d65eb909b06cf7a9a15f60743bcabe)
+++ uspace/lib/c/arch/arm32/include/cp15.h	(revision a14f3465b7d65eb909b06cf7a9a15f60743bcabe)
@@ -0,0 +1,1 @@
+../../../../../../kernel/arch/arm32/include/cp15.h