--- a/kerneltest/e32test/hcr/d_hcrut_psl.cpp	Thu May 27 14:17:14 2010 +0300
+++ b/kerneltest/e32test/hcr/d_hcrut_psl.cpp	Fri Jun 11 15:02:23 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