diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 276ae22a7f..5bc50161ab 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -3634,13 +3634,13 @@ Mem: 29232 5920 23312 23312 problems because of SDCC compiler differences. Refer to the NuttX board README file for further information.

-

- Obsoleted. - This architecture has been obsoleted. - The code has been moved out of the source tree an can now be found in Obsoleted directory. - This support was obsoleted because (1) the architecture limitations of the 8051 family make ongoing support too difficult, and (2) although the basic port was marginally functional, it has never really been demonstrated convincingly in any application. -

+

+ Obsoleted. + This architecture has been obsoleted. + The code has been moved out of the NuttX source tree but can still be found be found in Obsoleted directory. + This support was obsoleted because (1) the architecture limitations of the 8051 family make ongoing development of more advanced NuttX features too difficult, and (2) although the basic port was marginally functional, it has never really been demonstrated convincingly in any application. +

diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index 07996d513f..a2d1d08844 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -1870,7 +1870,7 @@ The system can be re-made subsequently by just typing make.

Description. Allocate a stack frame in the TCB's stack to hold thread-specific data. - This function may be called anytime after up_create_stack() or up_use_stack() have been called but before the task has been started. + This function may be called any time after up_create_stack() or up_use_stack() have been called but before the task has been started.

Thread data may be kept in the stack (instead of in the TCB) if it is accessed by the user code directly. @@ -1889,9 +1889,6 @@ The system can be re-made subsequently by just typing make. This will still be the initial value of the stack pointer when the task is started. -

- This API is NOT required if CONFIG_BUILD_PROTECTED and CONFIG_BUILD_KERNEL are undefined. -

Input Parameters: