diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-03-05 14:26:30 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-03-05 14:26:30 -0600 |
| commit | 2715b6e36b24459fcd9809ad8c3f6851d3aeab06 (patch) | |
| tree | 8fedfc15b4896571968387180030690728c078dd /nuttx/ChangeLog | |
| parent | 0ce61456e7e976022b9d56050e2ab79e611bb1f5 (diff) | |
| download | px4-nuttx-2715b6e36b24459fcd9809ad8c3f6851d3aeab06.tar.gz px4-nuttx-2715b6e36b24459fcd9809ad8c3f6851d3aeab06.tar.bz2 px4-nuttx-2715b6e36b24459fcd9809ad8c3f6851d3aeab06.zip | |
configs/ea3131/pgnsh: Configuration converted to use the kconfig-frontends tools
Diffstat (limited to 'nuttx/ChangeLog')
| -rw-r--r-- | nuttx/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/nuttx/ChangeLog b/nuttx/ChangeLog index 06a752b3e..74267c2b0 100644 --- a/nuttx/ChangeLog +++ b/nuttx/ChangeLog @@ -6880,3 +6880,10 @@ kconfig-frontends tools (2014-3-5) * configs/ntosd-dm320/uip: Configuration converted to use the kconfig-frontends tools (2014-3-5) + * configs/ea3131/pgnsh: Configuration converted to use the + kconfig-frontends tools (2014-3-5) + * arch/Kconfig, arch/arm/Kconfig, configs/ea3131/Kconfig, + configs/ea3131/pgnsh/defconfig, configs/ea3131/src/up_fillpage.c, + configs/ea3152/Kconfig, nuttx/configs/ea3152/src/up_fillpage.c, + include/nuttx/page.h, and tools/cfgdefine.c: Add configuration + settings for the on-demand paging option (2014-3-5). |