diff options
Diffstat (limited to 'nuttx/configs/open1788')
| -rw-r--r-- | nuttx/configs/open1788/kernel/up_userspace.c | 3 | ||||
| -rwxr-xr-x | nuttx/configs/open1788/knsh/defconfig | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/nuttx/configs/open1788/kernel/up_userspace.c b/nuttx/configs/open1788/kernel/up_userspace.c index e2cb8c013..3947af1cd 100644 --- a/nuttx/configs/open1788/kernel/up_userspace.c +++ b/nuttx/configs/open1788/kernel/up_userspace.c @@ -105,6 +105,9 @@ const struct userspace_s userspace __attribute__ ((section (".userspace"))) = /* Task/thread startup stubs */ .task_startup = task_startup, +#ifndef CONFIG_DISABLE_PTHREAD + .pthread_startup = pthread_startup, +#endif /* Memory manager entry points (declared in include/nuttx/mm.h) */ diff --git a/nuttx/configs/open1788/knsh/defconfig b/nuttx/configs/open1788/knsh/defconfig index 50b4e3d6d..b8d36e6fd 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=5 +CONFIG_SYS_RESERVED=6 # # Device Drivers |