Searched refs:CONFIG_OS_TYPE (Results 1 – 25 of 133) sorted by relevance
123456
92 #define CONFIG_OS_TYPE "linux" macro
89 CONFIG_OS_TYPE="linux"
52 CONFIG_OS_TYPE="nos"
54 CONFIG_OS_TYPE="nos"
55 CONFIG_OS_TYPE="linux"
51 CONFIG_OS_TYPE="nos"
55 CONFIG_OS_TYPE="ucos"
53 CONFIG_OS_TYPE="nos"
57 CONFIG_OS_TYPE="optee"
54 CONFIG_OS_TYPE="nuttx"
57 CONFIG_OS_TYPE="linux"
58 CONFIG_OS_TYPE="nos"
58 CONFIG_OS_TYPE="optee"
58 CONFIG_OS_TYPE="nuttx"
59 CONFIG_OS_TYPE="nuttx"