Set non-zero task name sizes in several configurations

This commit is contained in:
Gregory Nutt
2015-09-28 08:36:18 -06:00
parent 9125e89e68
commit 9cc454ca0a
15 changed files with 15 additions and 15 deletions
+1 -1
View File
@@ -386,7 +386,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -404,7 +404,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=32
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -387,7 +387,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -386,7 +386,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nxwm_main" CONFIG_USER_ENTRYPOINT="nxwm_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
CONFIG_SCHED_HAVE_PARENT=y CONFIG_SCHED_HAVE_PARENT=y
# CONFIG_SCHED_CHILD_STATUS is not set # CONFIG_SCHED_CHILD_STATUS is not set
+1 -1
View File
@@ -545,7 +545,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="cxxtest_main" CONFIG_USER_ENTRYPOINT="cxxtest_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
# CONFIG_SCHED_WAITPID is not set # CONFIG_SCHED_WAITPID is not set
+1 -1
View File
@@ -546,7 +546,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="elf_main" CONFIG_USER_ENTRYPOINT="elf_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
# CONFIG_SCHED_WAITPID is not set # CONFIG_SCHED_WAITPID is not set
+1 -1
View File
@@ -591,7 +591,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -551,7 +551,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="ostest_main" CONFIG_USER_ENTRYPOINT="ostest_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -591,7 +591,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -554,7 +554,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -555,7 +555,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nxlines_main" CONFIG_USER_ENTRYPOINT="nxlines_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -558,7 +558,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
@@ -546,7 +546,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="spawn_main" CONFIG_USER_ENTRYPOINT="spawn_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
# CONFIG_SCHED_WAITPID is not set # CONFIG_SCHED_WAITPID is not set
+1 -1
View File
@@ -560,7 +560,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
CONFIG_SCHED_WAITPID=y CONFIG_SCHED_WAITPID=y
+1 -1
View File
@@ -544,7 +544,7 @@ CONFIG_INIT_ENTRYPOINT=y
CONFIG_USER_ENTRYPOINT="ostest_main" CONFIG_USER_ENTRYPOINT="ostest_main"
CONFIG_RR_INTERVAL=200 CONFIG_RR_INTERVAL=200
# CONFIG_SCHED_SPORADIC is not set # CONFIG_SCHED_SPORADIC is not set
CONFIG_TASK_NAME_SIZE=0 CONFIG_TASK_NAME_SIZE=31
CONFIG_MAX_TASKS=16 CONFIG_MAX_TASKS=16
# CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_SCHED_HAVE_PARENT is not set
# CONFIG_SCHED_WAITPID is not set # CONFIG_SCHED_WAITPID is not set