diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-04-12 08:38:52 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-04-12 08:38:52 -0600 |
| commit | ea97a69e276396fa725ee2767d0da2d9d5cae861 (patch) | |
| tree | c822d583891a89d197f5a5ee3a9122ac61f4a28f /nuttx/TODO | |
| parent | 9475123c044f172a4beed41e3ddab6e755f5584e (diff) | |
| download | px4-nuttx-ea97a69e276396fa725ee2767d0da2d9d5cae861.tar.gz px4-nuttx-ea97a69e276396fa725ee2767d0da2d9d5cae861.tar.bz2 px4-nuttx-ea97a69e276396fa725ee2767d0da2d9d5cae861.zip | |
Convert olimex-lpc17stk configuration to use the kconfig-frontends tools; Fix some compile errors in the pl2303 USB device driver
Diffstat (limited to 'nuttx/TODO')
| -rw-r--r-- | nuttx/TODO | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/nuttx/TODO b/nuttx/TODO index 71514aedf..ed6fe1a41 100644 --- a/nuttx/TODO +++ b/nuttx/TODO @@ -452,12 +452,12 @@ o Kernel Build 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 + 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. + as the file system, message queues, etc., residing in user-space + and to interfacing 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 |