| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_PPC=y |
| 2 | CONFIG_4xx=y | ||||
| 3 | CONFIG_TARGET_INTIP=y | ||||
| Joe Hershberger | bd328eb | 2015-05-12 14:46:24 -0500 | [diff] [blame^] | 4 | CONFIG_SYS_EXTRA_OPTIONS="INTIB" |
| Joe Hershberger | 1a60650 | 2015-04-21 17:02:42 -0500 | [diff] [blame] | 5 | CONFIG_REGEX=y |