-To exit the Nt32 emulation platform, you may type reset at the EFI Shell>\r
-command prompt. Alternately, you may use the Graphical interface, Boot\r
-Maintenance Manager screen's Reset System command.\r
+To exit the Nt32 emulation platform, type \93reset\94 at the EFI Shell>\r
+command prompt. Alternatively, from the graphical interface, select the Boot\r
+Maintenance Manager's \93Reset System\94 command.\r
+\r
+ NOTE: When creating a new platform, the Platform Name should be restricted\r
+ to a single word, containing alphanumeric characters, with special characters,\r
+ underscore, dash and the period character also allowed. Space characters and\r
+ other special characters are not allowed.\r
+\r
+-----------------------\r
+Notes on Symbolic Debug\r
+-----------------------\r
+To enable EFI Symbolic Debugging, make sure the target output is set to DEBUG\r
+in the text file Tools/Conf/target.txt and then modify the FPD <BuildOptions>\r
+<Options><Option BuildTargets="DEBUG" ToolCode="CC"> and append the following\r
+compiler options to the string:\r
+"/D EFI_GENERATE_SYM_FILE", "/D EFI_SYMBOLIC_DEBUG"\r
+\r
+(If the Option line does not contain "/D EFI_DEBUG", you must add that\r
+option as well.)\r