|
@@ -13,6 +13,7 @@ config RT_USING_DEVICE_IPC
|
|
|
|
|
|
|
|
config RT_UNAMED_PIPE_NUMBER
|
|
config RT_UNAMED_PIPE_NUMBER
|
|
|
int "The number of unamed pipe"
|
|
int "The number of unamed pipe"
|
|
|
|
|
+ depends on RT_USING_DEVICE_IPC
|
|
|
default 64
|
|
default 64
|
|
|
|
|
|
|
|
if RT_USING_DEVICE_IPC
|
|
if RT_USING_DEVICE_IPC
|