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