Finally... renamed all CONFIG_DRAM_ settings to CONFIG_RAM_

This commit is contained in:
Gregory Nutt
2013-07-26 10:09:17 -06:00
parent ec8a56259c
commit 70f0ffdfc5
327 changed files with 881 additions and 876 deletions
+2 -2
View File
@@ -181,8 +181,8 @@ int main(int argc, char **argv, char **envp)
printf("/* If the end of RAM is not specified then it is assumed to be the beginning\n");
printf(" * of RAM plus the RAM size.\n");
printf(" */\n\n");
printf("#ifndef CONFIG_DRAM_END\n");
printf("# define CONFIG_DRAM_END (CONFIG_DRAM_START+CONFIG_DRAM_SIZE)\n");
printf("#ifndef CONFIG_RAM_END\n");
printf("# define CONFIG_RAM_END (CONFIG_RAM_START+CONFIG_RAM_SIZE)\n");
printf("#endif\n\n");
printf("/* If no file streams are configured, then make certain that buffered I/O\n");
printf(" * support is disabled\n");