diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 6ba0c95a00..35bf7f41e0 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@

NuttX RTOS

-

Last Updated: April 1, 2013

+

Last Updated: April 10, 2013

@@ -2417,11 +2417,11 @@ nsh>

@@ -2650,13 +2650,13 @@ nsh>

TI Stellaris LM4F120. This port uses the TI Stellaris LM4F120 LaunchPad. - Jose Pablo Carballo is doing this port. + Jose Pablo Carballo and I are doing this port.

diff --git a/TODO b/TODO index 57d6c84c23..71514aedf3 100644 --- a/TODO +++ b/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 ^^^^^^^^^^^ diff --git a/configs/qemu-i486/README.txt b/configs/qemu-i486/README.txt index 254f8a1314..d505bd55cb 100644 --- a/configs/qemu-i486/README.txt +++ b/configs/qemu-i486/README.txt @@ -90,8 +90,18 @@ Toolchains not produce ELF final binaries but, rather, DOS MZ executables (i.e., .exe files). Those cannot be used with QEMU. - The file */setenv.sh should be modified to point to the correct path to the - GCC toolchain (if different from the default in your PATH variable). + NOTE: It has also been reported to me that with a certain Ubuntu virtual + installation, the native x86 did not build correct i486 code. Other + installations of the same vintage do not have such issues. However, + there is always a possibility that any GCC release will be incompatible + with i486. That fallback used by this person in this particular case + was to use the Buildroot i486 cross-development tool described below. I + suspect that this was not necessary, but it was a simple work-around + that allowed that person to build a work-able system. + + In any event, the file */setenv.sh should be modified to point to the correct + path to the GCC toolchain (if different from the default in your PATH + variable). Cygwin Buildroot Toolchain --------------------------