Changes

1,512 bytes added ,  21:52, 14 January 2018
split "mandatory" field into "recognition-mandatory" and "presence-mandatory"
Line 33: Line 33:     
  enum LoaderConfigFlags {
 
  enum LoaderConfigFlags {
   IsMandatory = BIT(0),
+
   IsRecognitionMandatory = BIT(0),
 
  };
 
  };
    
=== Loader Config Keys ===
 
=== Loader Config Keys ===
A loader key can be mandatory or not mandatory.
+
A loader key can be marked as recognition-mandatory or not recognition-mandatory in its <code>Flags</code> field.
 +
The presence-mandatory field is part of the specification and does not go in the <code>Flags</code> field, but any complying loader must pass all fields specified to be presence-mandatory.
   −
If an (at the time) mandatory unknown key is encountered, the program should jump to [[#LoaderReturnAddr]] with <code>result_code=346 | ((100 + key) << 9);</code>.
+
If a key is marked as recognition-mandatory and is not recognized by the application, the program should jump to [[#LoaderReturnAddr]] with <code>result_code=346 | ((100 + key) << 9);</code>, as the default behaviour may be unsafe.
   −
If a key that is mandatory is not found (for example with an outdated loader), use <code>result_code=346 | ((200 + key) << 9);</code>.
+
If a key that is presence-mandatory is not found (for example with an outdated loader), use <code>result_code=346 | ((200 + key) << 9);</code>.
   −
* 0: [[#EndOfList]] [MANDATORY]
+
* 0: [[#EndOfList]] [RECOGNITION-MANDATORY] [PRESENCE-MANDATORY]
   −
* 1: [[#MainThreadHandle]] [MANDATORY]
+
* 1: [[#MainThreadHandle]] [RECOGNITION-MANDATORY] [PRESENCE-MANDATORY in some cases]
   −
* 2: [[#LoaderReturnAddr]] [MANDATORY]
+
* 2: [[#LoaderReturnAddr]] [RECOGNITION-MANDATORY]
   −
* 3: [[#OverrideHeap]]
+
* 3: [[#OverrideHeap]] [RECOGNITION-MANDATORY]
    
* 4: [[#OverrideService]]
 
* 4: [[#OverrideService]]
Line 57: Line 58:  
* 6: [[#SyscallAvailableHint]]
 
* 6: [[#SyscallAvailableHint]]
   −
* 7: [[#AppletType]] [MANDATORY]
+
* 7: [[#AppletType]] [PRESENCE-MANDATORY in some cases]
   −
* 8: [[#AppletWorkaround]]
+
* 8: [[#AppletWorkaround]] [RECOGNITION-MANDATORY]
    
==== EndOfList ====
 
==== EndOfList ====
Line 65: Line 66:     
* '''Key:''' 0
 
* '''Key:''' 0
* '''IsMandatory:''' True
+
* '''IsRecognitionMandatory:''' True, because not recognizing this tag would send the loader off the end of the list.
 +
* '''IsPresenceMandatory:''' True, because the list must be terminated.
 
* '''Value[0]:''' Ignored.
 
* '''Value[0]:''' Ignored.
 
* '''Value[1]:''' Ignored.
 
* '''Value[1]:''' Ignored.
Line 73: Line 75:     
* '''Key:''' 1
 
* '''Key:''' 1
* '''IsMandatory:''' True
+
* '''IsRecognitionMandatory:''' True.
 +
* '''IsPresenceMandatory:''' True if entry function was called with INVALID_HANDLE.
 
* '''Value[0]:''' Handle to the main thread.
 
* '''Value[0]:''' Handle to the main thread.
 
* '''Value[1]:''' Ignored.
 
* '''Value[1]:''' Ignored.
 +
* '''DefaultBehavior:''' Use main thread handle from entry function arguments.
    
==== LoaderReturnAddr ====
 
==== LoaderReturnAddr ====
Line 81: Line 85:     
* '''Key:''' 2
 
* '''Key:''' 2
* '''IsMandatory:''' True
+
* '''IsRecognitionMandatory:''' True, because the default behaviour may be unsafe if this key is not handled correctly.
 +
* '''IsPresenceMandatory:''' False.
 
* '''Value[0]:''' Function pointer with type <code>void __noreturn (*)(int result_code);</code>
 
* '''Value[0]:''' Function pointer with type <code>void __noreturn (*)(int result_code);</code>
 
* '''Value[1]:''' Ignored.
 
* '''Value[1]:''' Ignored.
Line 90: Line 95:     
* '''Key:''' 3
 
* '''Key:''' 3
* '''IsMandatory:''' Loader-defined.
+
* '''IsRecognitionMandatory:''' True, because the default behaviour may be unsafe if this key is not handled correctly.
 +
* '''IsPresenceMandatory:''' False.
 
* '''Value[0]:''' Base address of heap. Must be MemoryType 4, 5, or 9 with all reference counts being zero.
 
* '''Value[0]:''' Base address of heap. Must be MemoryType 4, 5, or 9 with all reference counts being zero.
 
* '''Value[1]:''' Size of heap.
 
* '''Value[1]:''' Size of heap.
Line 105: Line 111:     
* '''Key:''' 4
 
* '''Key:''' 4
* '''IsMandatory:''' Loader-defined.
+
* '''IsRecognitionMandatory:''' False.
 +
* '''IsPresenceMandatory:''' False.
 
* '''Value[0]:''' Name of service, same format as for sm.
 
* '''Value[0]:''' Name of service, same format as for sm.
 
* '''Value[1]:''' Service handle.
 
* '''Value[1]:''' Service handle.
Line 114: Line 121:     
* '''Key:''' 5
 
* '''Key:''' 5
* '''IsMandatory:''' False
+
* '''IsRecognitionMandatory:''' False.
 +
* '''IsPresenceMandatory:''' False.
 
* '''Value[0]:''' Argc.
 
* '''Value[0]:''' Argc.
 
* '''Value[1]:''' Argv string pointer.
 
* '''Value[1]:''' Argv string pointer.
Line 125: Line 133:     
* '''Key:''' 6
 
* '''Key:''' 6
 +
* '''IsRecognitionMandatory:''' False.
 +
* '''IsPresenceMandatory:''' False.
 
* '''IsMandatory:''' False
 
* '''IsMandatory:''' False
 
* '''Value[0]:''' Each byte is a rare syscall number that the process has access to. <code>0xFF</code> means byte should be ignored.
 
* '''Value[0]:''' Each byte is a rare syscall number that the process has access to. <code>0xFF</code> means byte should be ignored.
Line 134: Line 144:     
* '''Key:''' 7
 
* '''Key:''' 7
* '''IsMandatory:''' True
+
* '''IsRecognitionMandatory:''' False.
 +
* '''IsPresenceMandatory:''' Application-defined. Depends on whether the application is using any applet services or not.
 
* '''Value[0]:''' AppletType
 
* '''Value[0]:''' AppletType
 
* '''Value[1]:''' Ignored.
 
* '''Value[1]:''' Ignored.
Line 150: Line 161:     
* '''Key:''' 8
 
* '''Key:''' 8
* '''IsMandatory:''' Loader-defined.
+
* '''IsRecognitionMandatory:''' True, because the default behaviour (using applet services) is unsafe if this tag is passed.
 +
* '''IsPresenceMandatory:''' False.
 
* '''Value[0]:''' AppletResourceUserId
 
* '''Value[0]:''' AppletResourceUserId
 
* '''Value[1]:''' Ignored.
 
* '''Value[1]:''' Ignored.
117

edits