diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index c048fe47225..99753437e5f 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -3,12 +3,22 @@
NuttX
-
-
-Under Construction
-
-
-Overview
+
+
+ NuttX RTOS
+ Last Updated: March 14, 2007
+
+ Table of Contents
+
+Overview
+Downloads
+Supported Platforms
+Memory Footprint
+Licensing
+Release History
+Other Documentation
+
+Overview
Goals.
Nuttx is a real timed embedded operating system (RTOS).
@@ -60,7 +70,7 @@
-Downloads
+Downloads
The initial release of NuttX (nuttx-0.1.0) is avalable for download
@@ -68,7 +78,7 @@
website.
-Supported Platforms
+Supported Platforms
- Linux User Mode
@@ -95,7 +105,9 @@
and the SDCC toolchain.
- STATUS: This port will require a few more weeks before it is ready for prime time.
+ STATUS: This port is complete but not stable with timer interrupts enabled.
+ There seems to be some issue when the stack pointer enters into the indirect IRAM
+ address space during interrupt handling.
- Other ports
@@ -106,7 +118,7 @@
* A highly modified buildroot
is available that be used to build a NuttX-compatible arm-elf toolchain.
-Memory Footprint
+Memory Footprint
C5471 (Arm7)
The build for this ARM7 target that includes most of the OS features and
@@ -118,11 +130,21 @@ is available that be used to build a NuttX-compatible arm-elf toolchain.
87C52
- A reduced functionality OS test for the 8051 target requires only
- about 18Kb (see spreadsheet for details).
+ A reduced functionality OS test for the 8052 target requires only
+ about 18-19Kb:
+
+Stack starts at: 0x21 (sp set to 0x20) with 223 bytes available.
-Licensing
+Other memory:
+ Name Start End Size Max
+ ---------------- -------- -------- -------- --------
+ PAGED EXT. RAM 0 256
+ EXTERNAL RAM 0x0100 0x02fd 510 7936
+ ROM/EPROM/FLASH 0x2100 0x6e55 19798 24384
+
+
+Licensing
NuttX is available under the highly permissive
BSD license.
@@ -131,7 +153,45 @@ is available that be used to build a NuttX-compatible arm-elf toolchain.
-
Other Documentation
+Release History
+
+
+0.1.0 2007-03-09 Gregory Nutt
+
+ * Initial Release
+ * Support for Linux user mode simulation and TI
+ TMS320C5471 (Arm7) provided
+
+0.1.1 2007-03-14 Gregory Nutt
+
+ * Corrected an error in interrupt level context switching
+ for C5471
+ * Added fgets() and gets() logic; verified c5471 console read.
+ * Corrected error in reading from the C5471 serial port:
+ Improper use of semaphore can cause deadlock.
+ * Fixed an error in the memory cleanup: The idle task
+ cannot take sempahores (because it must always be ready
+ to run).
+ * Tasks can now accept a configurable maximum number of
+ input parameters (argc)
+ * _task_init() was divided into separate functions that
+ require fewer parameters. This was necessary to keep
+ the stack usage down for the 8051/2 (which has only
+ 256 bytes of stack).
+ * Attempts to use C5471 console from interrupt handlers
+ can casue errors. Added a special path for this case.
+ * Refuse calls to sem_wait and sem_trywait from interrupt
+ handlers. This was happening because interrupt handlers
+ were calling printf-like functions.
+ * Added strtok() and strtok_r()
+ * Added a simple shell called nsh (see examples/nsh).
+ * Platform support for 8052 is complete but not stable
+ when the timer interrupt is enabled. Seems to be an
+ issue when SP enters indirect address space.
+ * Documentation updates
+
+
+Other Documentation
User Guide
Porting Guide
diff --git a/Documentation/codesize-070301.xls b/Documentation/codesize-070301.xls
deleted file mode 100644
index 22fed5abf44..00000000000
Binary files a/Documentation/codesize-070301.xls and /dev/null differ