-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 is restricted\r
+ to a single word containing alphanumeric characters, underscore, dash, \r
+ and period. The space character and other special characters are \r
+ 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