if MACH_BST2BRD

config BST2BRD_BDI
	bool "Support for BDI"
	default n

config BST2BRD_KERNEL_OPTIONS
	bool "Support for kernel options"
	default y

config BST2BRD_FIQ_DEBUGGER_ON_NMI
	bool "Invoke FIQ debugger on NMI"
	depends on FIQ_DEBUGGER
	default n

endif
