diff options
Diffstat (limited to 'nuttx/configs/open1788')
-rw-r--r-- | nuttx/configs/open1788/kernel/up_userspace.c | 9 | ||||
-rwxr-xr-x | nuttx/configs/open1788/knsh/defconfig | 2 |
2 files changed, 8 insertions, 3 deletions
diff --git a/nuttx/configs/open1788/kernel/up_userspace.c b/nuttx/configs/open1788/kernel/up_userspace.c index 3947af1cd..2263bc3f5 100644 --- a/nuttx/configs/open1788/kernel/up_userspace.c +++ b/nuttx/configs/open1788/kernel/up_userspace.c @@ -44,7 +44,6 @@ #include <nuttx/userspace.h> #include <nuttx/wqueue.h> #include <nuttx/mm.h> -#include <nuttx/sched.h> #if defined(CONFIG_NUTTX_KERNEL) && !defined(__KERNEL__) @@ -102,13 +101,19 @@ const struct userspace_s userspace __attribute__ ((section (".userspace"))) = .us_bssstart = (uintptr_t)&_sbss, .us_bssend = (uintptr_t)&_ebss, - /* Task/thread startup stubs */ + /* Task/thread startup routines */ .task_startup = task_startup, #ifndef CONFIG_DISABLE_PTHREAD .pthread_startup = pthread_startup, #endif + /* Signal handler trampoline */ + +#ifndef CONFIG_DISABLE_SIGNALS + .signal_handler = signal_handler, +#endif + /* 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 b8d36e6fd..addfd82ad 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=6 +CONFIG_SYS_RESERVED=8 # # Device Drivers |