diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2013-03-24 17:28:38 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2013-03-24 17:28:38 +0000 |
commit | 504178ba1726406e45d21a2824b34f216ee47af3 (patch) | |
tree | dbd550cd5a34204b88b0edb41f133fea7a181433 /nuttx/configs/lm4f120-launchpad | |
parent | 94d420845331bad3ee2aa992f58fa8d31afe9f01 (diff) | |
download | px4-nuttx-504178ba1726406e45d21a2824b34f216ee47af3.tar.gz px4-nuttx-504178ba1726406e45d21a2824b34f216ee47af3.tar.bz2 px4-nuttx-504178ba1726406e45d21a2824b34f216ee47af3.zip |
Add kernel build support for Stellaris, Kinetis, LPC43, and NUC1xx MCUs
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5781 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/lm4f120-launchpad')
-rwxr-xr-x | nuttx/configs/lm4f120-launchpad/ostest/defconfig | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/nuttx/configs/lm4f120-launchpad/ostest/defconfig b/nuttx/configs/lm4f120-launchpad/ostest/defconfig index 34ae0e602..15cf8305d 100755 --- a/nuttx/configs/lm4f120-launchpad/ostest/defconfig +++ b/nuttx/configs/lm4f120-launchpad/ostest/defconfig @@ -150,6 +150,8 @@ CONFIG_ARCH_HAVE_VFORK=y CONFIG_ARCH_STACKDUMP=y # CONFIG_ENDIAN_BIG is not set # CONFIG_ARCH_HAVE_RAMFUNCS is not set +CONFIG_ARCH_HAVE_RAMVECTORS=y +# CONFIG_ARCH_RAMVECTORS is not set # # Board Settings @@ -209,7 +211,6 @@ CONFIG_DEV_CONSOLE=y # CONFIG_FDCLONE_DISABLE is not set # CONFIG_FDCLONE_STDIO is not set CONFIG_SDCLONE_DISABLE=y -# CONFIG_SCHED_WORKQUEUE is not set # CONFIG_SCHED_WAITPID is not set # CONFIG_SCHED_STARTHOOK is not set # CONFIG_SCHED_ATEXIT is not set @@ -338,6 +339,7 @@ CONFIG_DISABLE_MOUNTPOINT=y # # Memory Management # +# CONFIG_MM_MULTIHEAP is not set # CONFIG_MM_SMALL is not set CONFIG_MM_REGIONS=1 # CONFIG_GRAN is not set @@ -380,8 +382,9 @@ CONFIG_LIB_SENDFILE_BUFSIZE=512 # CONFIG_ARCH_OPTIMIZED_FUNCTIONS is not set # -# Non-standard Helper Functions +# Non-standard Library Support # +# CONFIG_SCHED_WORKQUEUE is not set # CONFIG_LIB_KBDCODEC is not set # |