diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 049d4294ef..276ae22a7f 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@
Last Updated: August 15, 2014
+Last Updated: September 1, 2014
PJRC 87C52 Development Board. - This port uses the PJRC 87C52 development system - and the SDCC toolchain under Linux or Cygwin. + This port uses the PJRC 87C52 development system and the SDCC toolchain under Linux or Cygwin.
@@ -3633,7 +3632,13 @@ Mem: 29232 5920 23312 23312 address space during interrupt handling. This architecture has not been built in some time will likely have some compilation problems because of SDCC compiler differences. - Refer to the NuttX board README file for further information. + 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.
arch/8051
:
- 8051 Microcontroller. This port is not quite ready for prime time.
- arch/z16f
:
Zilog z16f Microcontroller.
This port uses the Zilog z16f2800100zcog Development Kit.
@@ -950,12 +946,6 @@
(PICkit 2 does not work with the PIC32).
configs/pjrc-8051
:
- 8051 Microcontroller. This port uses the PJRC 87C52 development system
- and the SDCC toolchain under Linux or Cygwin.
- This port is not quite ready for prime time.
- configs/qemu-i486
:
Port of NuttX to QEMU in i486 mode. This port will also run on real i486
hardware (Google the Bifferboard).
@@ -1806,9 +1796,6 @@ The system can be re-made subsequently by just typing make
.
adj_stack_ptr
: Adjusted stack_alloc_ptr
for HW. The
initial value of the stack pointer.
-
- This API is NOT required if CONFIG_CUSTOM_STACK
is defined.
-
Input Parameters:
make
.
adj_stack_ptr
: Adjusted stack_alloc_ptr
for HW. The
initial value of the stack pointer.
- This API is NOT required if CONFIG_CUSTOM_STACK
is defined.
-
Input Parameters:
make
.
- This API is NOT required if CONFIG_BUILD_PROTECTED
and CONFIG_BUILD_KERNEL
are undefined or if CONFIG_CUSTOM_STACK
is defined.
+ This API is NOT required if CONFIG_BUILD_PROTECTED
and CONFIG_BUILD_KERNEL
are undefined.
Input Parameters:
make
.
A task has been stopped.
Free all stack related resources retained int the defunct TCB.
-
- This API is NOT required if CONFIG_CUSTOM_STACK
is defined.
-
Input Parameters: