Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions boards/arm/tiva/lm3s6965-ek/README.txt
Original file line number Diff line number Diff line change
Expand Up @@ -426,6 +426,17 @@ Where <subdir> is one of the following:
-nic user,id=user0 \
-serial mon:stdio -nographic

qemu-kostest:
An example config with PROTECTED memory model to run on qemu.

./tools/configure.sh lm3s6965-ek:qemu-kostest
make
qemu-system-arm -semihosting \
-M lm3s6965evb \
-device loader,file=nuttx.bin,addr=0x00000000 \
-device loader,file=nuttx_user.bin,addr=0x00020000 \
-serial mon:stdio -nographic

qemu-protected:
An example config with PROTECTED memory model to run on qemu.

Expand Down
46 changes: 46 additions & 0 deletions boards/arm/tiva/lm3s6965-ek/configs/qemu-kostest/defconfig
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
#
# This file is autogenerated: PLEASE DO NOT EDIT IT.
#
# You can use "make menuconfig" to make any modifications to the installed .config file.
# You can then do "make savedefconfig" to generate a new defconfig file that includes your
# modifications.
#
CONFIG_ARCH="arm"
CONFIG_ARCH_BOARD="lm3s6965-ek"
CONFIG_ARCH_BOARD_LM3S6965EK=y
CONFIG_ARCH_CHIP="tiva"
CONFIG_ARCH_CHIP_LM3S6965=y
CONFIG_ARCH_CHIP_LM3S=y
CONFIG_ARCH_CHIP_LM=y
CONFIG_ARCH_STACKDUMP=y
CONFIG_ARM_MPU=y
CONFIG_BOARD_LOOPSPERMSEC=4531
CONFIG_BUILD_PROTECTED=y
CONFIG_DEBUG_ASSERTIONS=y
CONFIG_DEBUG_ERROR=y
CONFIG_DEBUG_FEATURES=y
CONFIG_DEBUG_FULLOPT=y
CONFIG_DEBUG_SYMBOLS=y
CONFIG_DEBUG_WARN=y
CONFIG_DISABLE_ENVIRON=y
CONFIG_DISABLE_MOUNTPOINT=y
CONFIG_INIT_ENTRYPOINT="ostest_main"
CONFIG_NUTTX_USERSPACE=0x00020000
CONFIG_PASS1_BUILDIR="boards/arm/tiva/lm3s6965-ek/kernel"
CONFIG_PREALLOC_TIMERS=4
CONFIG_RAM_SIZE=65536
CONFIG_RAM_START=0x20000000
CONFIG_RAW_BINARY=y
CONFIG_RR_INTERVAL=200
CONFIG_SCHED_WAITPID=y
CONFIG_STACK_COLORATION=y
CONFIG_START_DAY=23
CONFIG_START_MONTH=2
CONFIG_START_YEAR=2022
CONFIG_SYMTAB_ORDEREDBYNAME=y
CONFIG_SYS_RESERVED=8
CONFIG_TESTING_OSTEST=y
CONFIG_TESTING_OSTEST_NBARRIER_THREADS=3
CONFIG_TESTING_OSTEST_STACKSIZE=2048
CONFIG_TIVA_UART0=y
CONFIG_UART0_SERIAL_CONSOLE=y