Don't expose interrupt control with kernel configuration.
enter_critical_section and leave_critical_section aren't reliable interfaces to expose in usermode, as they aren't available if CONFIG_IRQCOUNT is enabled.
Impact
Allows the ramspeed benchmark to be built when both CONFIG_BUILD_KERNEL and CONFIG_IRQCOUNT are enabled.
Testing
Litex based board with the above configuration enabled.
Summary
Don't expose interrupt control with kernel configuration.
enter_critical_section and leave_critical_section aren't reliable interfaces to expose in usermode, as they aren't available if CONFIG_IRQCOUNT is enabled.
Impact
Allows the ramspeed benchmark to be built when both
CONFIG_BUILD_KERNEL
andCONFIG_IRQCOUNT
are enabled.Testing
Litex based board with the above configuration enabled.