u32_t stack_guard_idx = 7;

void configure_mpu_stack_guard(struct k_thread *thread)
{
	u32_t attr;

	arm_core_mpu_disable();
	attr = arm_core_mpu_map_attr(THREAD_STACK_GUARD_REGION);

	arm_core_mpu_configure(stack_guard_idx, attr,
			       thread->stack_info.start,
			       thread->stack_info.size);
	arm_core_mpu_enable();
}