Updated to documentation and README files

TODO

@@ -1,4 +1,4 @@
-NuttX TODO List (Last updated March 24, 2013)
+NuttX TODO List (Last updated April 10, 2013)
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 This file summarizes known NuttX bugs, limitations, inconsistencies with 
@@ -10,7 +10,7 @@ nuttx/
   (1)  Memory Managment (mm/)
   (3)  Signals (sched/, arch/)
   (2)  pthreads (sched/)
-  (7)  Kernel Build
+  (8)  Kernel Build
   (2)  C++ Support
   (6)  Binary loaders (binfmt/)
  (16)  Network (net/, drivers/net)
@@ -450,6 +450,19 @@ o Kernel Build
   Status:      Open
   Priority:    Low (unless security becomes an issue).
 
+  Title:       MICRO-KERNEL
+  Description: The initial kernel build cut many interfaces at a very high level.
+               The resulting monolithic kernel is then rather large.  it would
+               not be a prohibitively large task to reorganize the interfaces so
+               that NuttX is built as a micro-kernel, i.e., with only the core
+               OS services within the kernel and with other OS facilities, such
+               as the file system, to reside in user-space and to interface with
+               those core OS facilities through traps.
+  Status:      Open 
+  Priority:    Low.  This is a good idea and certainly an architectural
+               improvement.  However, there is no strong motivivation now do
+               do that partitioning work. 
+
 o C++ Support
   ^^^^^^^^^^^