3134 |
# CONFIG_N_GSM is not set |
# CONFIG_N_GSM is not set |
3135 |
# CONFIG_TRACE_SINK is not set |
# CONFIG_TRACE_SINK is not set |
3136 |
CONFIG_DEVMEM=y |
CONFIG_DEVMEM=y |
|
CONFIG_DEVKMEM=y |
|
3137 |
|
|
3138 |
# |
# |
3139 |
# Serial drivers |
# Serial drivers |
7196 |
CONFIG_STRICT_DEVMEM=y |
CONFIG_STRICT_DEVMEM=y |
7197 |
CONFIG_IO_STRICT_DEVMEM=y |
CONFIG_IO_STRICT_DEVMEM=y |
7198 |
# CONFIG_ARM_PTDUMP_DEBUGFS is not set |
# CONFIG_ARM_PTDUMP_DEBUGFS is not set |
|
# CONFIG_DEBUG_WX is not set |
|
7199 |
# CONFIG_UNWINDER_FRAME_POINTER is not set |
# CONFIG_UNWINDER_FRAME_POINTER is not set |
7200 |
CONFIG_UNWINDER_ARM=y |
CONFIG_UNWINDER_ARM=y |
7201 |
CONFIG_ARM_UNWIND=y |
CONFIG_ARM_UNWIND=y |