1menuconfig RT_USING_DEVICE_IPC
2    bool "Using device drivers IPC"
3    default y
4
5if RT_USING_DEVICE_IPC
6    config RT_UNAMED_PIPE_NUMBER
7        int "The number of unamed pipe"
8        default 64
9
10    config RT_USING_SYSTEM_WORKQUEUE
11        bool "Using system default workqueue"
12        default n
13
14    if RT_USING_SYSTEM_WORKQUEUE
15        config RT_SYSTEM_WORKQUEUE_STACKSIZE
16            int "The stack size for system workqueue thread"
17            default 2048
18
19        config RT_SYSTEM_WORKQUEUE_PRIORITY
20            int "The priority level of system workqueue thread"
21            default 23
22    endif
23endif
24