Added FPU support for ChibiOS/RT

When an enabled FPU is detected we now use an appropriate stacking.

Change-Id: I1b0f43ec22e1c55c4f10e2ffa97d4aaa77bca5ee
Signed-off-by: Christian Gudrian <christian.gudrian@gmx.de>
Reviewed-on: http://openocd.zylin.com/2354
Tested-by: jenkins
Reviewed-by: Spencer Oliver <spen@spen-soft.co.uk>
This commit is contained in:
Christian Gudrian
2014-10-24 23:22:40 +02:00
committed by Spencer Oliver
parent 8b99681346
commit f83e1dc13f
3 changed files with 32 additions and 5 deletions

View File

@@ -264,11 +264,9 @@ static int ChibiOS_update_stacking(struct rtos *rtos)
/* Check if CP10 and CP11 are set to full access.
* In ChibiOS this is done in ResetHandler() in crt0.c */
if (cpacr & 0x00F00000) {
/* Found target with enabled FPU */
/* FIXME: Need to figure out how to specify the FPU registers */
LOG_ERROR("ChibiOS ARM v7m targets with enabled FPU "
" are NOT supported");
return -1;
LOG_DEBUG("Enabled FPU detected.");
param->stacking_info = &rtos_chibios_arm_v7m_stacking_w_fpu;
return 0;
}
}