--- a/kerneltest/e32test/hcr/d_hcrut_psl.cpp	Tue May 25 14:09:55 2010 +0300
+++ b/kerneltest/e32test/hcr/d_hcrut_psl.cpp	Wed Jun 09 11:10:19 2010 +0300
@@ -127,7 +127,7 @@
 #if !defined(__WINS__) && !defined(__X86__)
     
     // Note to future implementor:
-	// #include <kernel\kernboot.h>
+	// #include <kernel/kernboot.h>
 	// First check to see if SMRIB was created during boot time. 
     // If SSuperPageBase::iSmrData == KSuperPageAddressFieldUndefined (i.e. -1) 
 	// it does not exist, return KErrNotSupported, SMR not support by base port