diff --git a/configs/README.txt b/configs/README.txt
index bedbc6ae759..123a9017149 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -126,6 +126,12 @@ defconfig -- This is a configuration file similar to the Linux
 		CONFIG_ARCH_BOARD_name - For use in C code
 		CONFIG_ENDIAN_BIG - define if big endian (default is little
 		   endian)
+		CONFIG_ARCH_NOINTC - define if the architecture does not
+		  support an interrupt controller or otherwise cannot support
+		  APIs like up_enable_irq() and up_disable_irq().
+		CONFIG_ARCH_IRQPRIO
+		  Define if the architecture suports prioritizaton of interrupts
+		  and the up_prioritize_irq() API.
 
 	Some architectures require a description of the RAM configuration:
 
diff --git a/configs/olimex-strp711/ostest/defconfig b/configs/olimex-strp711/ostest/defconfig
index 1ff1ad1c0ce..0d629c2e197 100644
--- a/configs/olimex-strp711/ostest/defconfig
+++ b/configs/olimex-strp711/ostest/defconfig
@@ -46,6 +46,12 @@
 #   the board that supports the particular chip or SoC.
 # CONFIG_ENDIAN_BIG - define if big endian (default is little endian)
 # CONFIG_ARCH_BOARD_name - for use in C code
+# CONFIG_ARCH_NOINTC - define if the architecture does not
+#   support an interrupt controller or otherwise cannot support
+#   APIs like up_enable_irq() and up_disable_irq().
+# CONFIG_ARCH_IRQPRIO
+#   Define if the architecture suports prioritizaton of interrupts
+#   and the up_prioritize_irq() API.
 # CONFIG_BOARD_LOOPSPERMSEC - for delay loops
 # CONFIG_ARCH_LEDS - Use LEDs to show state. Unique to Olimex STR-P711
 # CONFIG_ARCH_BUTTONS - Support reading buttons. Unique to Olimex STR-P711
@@ -62,6 +68,8 @@ CONFIG_ARCH_CHIP=str71x
 CONFIG_ARCH_STR71X=y
 CONFIG_ARCH_BOARD=olimex-strp711
 CONFIG_ARCH_BOARD_OLIMEX_STRP711=y
+CONFIG_ARCH_NOINTC=n
+CONFIG_ARCH_IRQPRIO=y
 CONFIG_BOARD_LOOPSPERMSEC=3270
 CONFIG_ARCH_LEDS=y
 CONFIG_ARCH_BUTTONS=y
diff --git a/configs/us7032evb1/ostest/defconfig b/configs/us7032evb1/ostest/defconfig
index 6510a5029d4..fa2ac1c4847 100644
--- a/configs/us7032evb1/ostest/defconfig
+++ b/configs/us7032evb1/ostest/defconfig
@@ -46,6 +46,12 @@
 #   the board that supports the particular chip or SoC.
 # CONFIG_ENDIAN_BIG - define if big endian (default is little endian)
 # CONFIG_ARCH_BOARD_name - for use in C code
+# CONFIG_ARCH_NOINTC - define if the architecture does not
+#   support an interrupt controller or otherwise cannot support
+#   APIs like up_enable_irq() and up_disable_irq().
+# CONFIG_ARCH_IRQPRIO
+#   Define if the architecture suports prioritizaton of interrupts
+#   and the up_prioritize_irq() API.
 # CONFIG_ENDIAN_BIG - Define for big-endian operation
 # CONFIG_BOARD_LOOPSPERMSEC - for delay loops
 # CONFIG_ARCH_LEDS - Use LEDs to show state. Unique to Olimex STR-P711
@@ -65,6 +71,8 @@ CONFIG_ARCH_SH7032=y
 CONFIG_ARCH_BOARD=us7032evb1
 CONFIG_ARCH_BOARD_US7032EVB1=y
 CONFIG_ENDIAN_BIG=y
+CONFIG_ARCH_NOINTC=y
+CONFIG_ARCH_IRQPRIO=y
 CONFIG_BOARD_LOOPSPERMSEC=3270
 CONFIG_ARCH_LEDS=y
 CONFIG_ARCH_BUTTONS=y