diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2013-05-12 14:31:41 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2013-05-12 14:31:41 -0600 |
commit | 647bbd7db03d6f2bd7909cd1e967a7c91ccd1be5 (patch) | |
tree | 25e1002617eba8ca356b015276df78b8eb388397 /nuttx/configs/shenzhou/nxwm/defconfig | |
parent | 761d051218d4bf29a71532d7e67a18beda63cb30 (diff) | |
download | px4-nuttx-647bbd7db03d6f2bd7909cd1e967a7c91ccd1be5.tar.gz px4-nuttx-647bbd7db03d6f2bd7909cd1e967a7c91ccd1be5.tar.bz2 px4-nuttx-647bbd7db03d6f2bd7909cd1e967a7c91ccd1be5.zip |
Default NxWidgets and NxWM priorities should be 100 not 50 to be consistent with other default priorities
Diffstat (limited to 'nuttx/configs/shenzhou/nxwm/defconfig')
-rw-r--r-- | nuttx/configs/shenzhou/nxwm/defconfig | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/nuttx/configs/shenzhou/nxwm/defconfig b/nuttx/configs/shenzhou/nxwm/defconfig index e13fb72dc..aa62a2b4c 100644 --- a/nuttx/configs/shenzhou/nxwm/defconfig +++ b/nuttx/configs/shenzhou/nxwm/defconfig @@ -816,10 +816,10 @@ CONFIG_NXWIDGETS=y CONFIG_NXWIDGETS_FLICKERFREE=y CONFIG_NXWIDGETS_DEVNO=0 CONFIG_NXWIDGETS_VPLANE=0 -CONFIG_NXWIDGETS_SERVERPRIO=51 +CONFIG_NXWIDGETS_SERVERPRIO=110 CONFIG_NXWIDGETS_SERVERSTACK=1596 -CONFIG_NXWIDGETS_CLIENTPRIO=50 -CONFIG_NXWIDGETS_LISTENERPRIO=50 +CONFIG_NXWIDGETS_CLIENTPRIO=100 +CONFIG_NXWIDGETS_LISTENERPRIO=100 CONFIG_NXWIDGETS_LISTENERSTACK=1596 # CONFIG_NXWIDGETS_EXTERNINIT is not set # CONFIG_NXWIDGET_EVENTWAIT is not set @@ -901,13 +901,13 @@ CONFIG_NXWM_STARTWINDOW_HSPACING=4 CONFIG_NXWM_STARTWINDOW_MQNAME="/dev/nxwm" CONFIG_NXWM_STARTWINDOW_MXMSGS=32 CONFIG_NXWM_STARTWINDOW_MXMPRIO=42 -CONFIG_NXWM_STARTWINDOW_PRIO=50 +CONFIG_NXWM_STARTWINDOW_PRIO=100 CONFIG_NXWM_STARTWINDOW_STACKSIZE=1596 # # NxConsole Window Configuration # -CONFIG_NXWM_NXCONSOLE_PRIO=50 +CONFIG_NXWM_NXCONSOLE_PRIO=100 CONFIG_NXWM_NXCONSOLE_STACKSIZE=1596 # CONFIG_NXWM_NXCONSOLE_CUSTOM_COLORS is not set # CONFIG_NXWM_NXCONSOLE_CUSTOM_FONTID is not set @@ -920,7 +920,7 @@ CONFIG_NXWM_TOUCHSCREEN=y CONFIG_NXWM_TOUCHSCREEN_DEVNO=0 CONFIG_NXWM_TOUCHSCREEN_DEVPATH="/dev/input0" CONFIG_NXWM_TOUCHSCREEN_SIGNO=5 -CONFIG_NXWM_TOUCHSCREEN_LISTENERPRIO=50 +CONFIG_NXWM_TOUCHSCREEN_LISTENERPRIO=100 CONFIG_NXWM_TOUCHSCREEN_LISTENERSTACK=1596 CONFIG_NXWM_KEYBOARD=y @@ -930,7 +930,7 @@ CONFIG_NXWM_KEYBOARD=y CONFIG_NXWM_KEYBOARD_DEVPATH="/dev/console" CONFIG_NXWM_KEYBOARD_SIGNO=6 CONFIG_NXWM_KEYBOARD_BUFSIZE=16 -CONFIG_NXWM_KEYBOARD_LISTENERPRIO=50 +CONFIG_NXWM_KEYBOARD_LISTENERPRIO=100 CONFIG_NXWM_KEYBOARD_LISTENERSTACK=1024 # @@ -939,7 +939,7 @@ CONFIG_NXWM_KEYBOARD_LISTENERSTACK=1024 # CONFIG_NXWM_CALIBRATION_CUSTOM_COLORS is not set # CONFIG_NXWM_CUSTOM_CALIBRATION_ICON is not set CONFIG_NXWM_CALIBRATION_SIGNO=5 -CONFIG_NXWM_CALIBRATION_LISTENERPRIO=50 +CONFIG_NXWM_CALIBRATION_LISTENERPRIO=100 CONFIG_NXWM_CALIBRATION_LISTENERSTACK=1024 # |