summaryrefslogtreecommitdiff
path: root/nuttx/configs/open1788
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2013-03-14 22:44:06 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2013-03-14 22:44:06 +0000
commit256ff9a480238dfd1d30b7dfb3d61835991b3ee7 (patch)
tree3c62d071240bc4d2f9df1cd127113b94d7fbf332 /nuttx/configs/open1788
parentc601d953ae2de87bc41d3666f6b510805bf4e67b (diff)
downloadpx4-nuttx-256ff9a480238dfd1d30b7dfb3d61835991b3ee7.tar.gz
px4-nuttx-256ff9a480238dfd1d30b7dfb3d61835991b3ee7.tar.bz2
px4-nuttx-256ff9a480238dfd1d30b7dfb3d61835991b3ee7.zip
Switch to user-mode before starting a new task
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5742 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/open1788')
-rw-r--r--nuttx/configs/open1788/kernel/up_userspace.c5
-rwxr-xr-xnuttx/configs/open1788/knsh/defconfig2
2 files changed, 6 insertions, 1 deletions
diff --git a/nuttx/configs/open1788/kernel/up_userspace.c b/nuttx/configs/open1788/kernel/up_userspace.c
index 62c83e735..e2cb8c013 100644
--- a/nuttx/configs/open1788/kernel/up_userspace.c
+++ b/nuttx/configs/open1788/kernel/up_userspace.c
@@ -44,6 +44,7 @@
#include <nuttx/userspace.h>
#include <nuttx/wqueue.h>
#include <nuttx/mm.h>
+#include <nuttx/sched.h>
#if defined(CONFIG_NUTTX_KERNEL) && !defined(__KERNEL__)
@@ -101,6 +102,10 @@ const struct userspace_s userspace __attribute__ ((section (".userspace"))) =
.us_bssstart = (uintptr_t)&_sbss,
.us_bssend = (uintptr_t)&_ebss,
+ /* Task/thread startup stubs */
+
+ .task_startup = task_startup,
+
/* Memory manager entry points (declared in include/nuttx/mm.h) */
.mm_initialize = umm_initialize,
diff --git a/nuttx/configs/open1788/knsh/defconfig b/nuttx/configs/open1788/knsh/defconfig
index 22042073c..50b4e3d6d 100755
--- a/nuttx/configs/open1788/knsh/defconfig
+++ b/nuttx/configs/open1788/knsh/defconfig
@@ -344,7 +344,7 @@ CONFIG_IDLETHREAD_STACKSIZE=1024
CONFIG_USERMAIN_STACKSIZE=2048
CONFIG_PTHREAD_STACK_MIN=256
CONFIG_PTHREAD_STACK_DEFAULT=2048
-CONFIG_SYS_RESERVED=4
+CONFIG_SYS_RESERVED=5
#
# Device Drivers