Project5_Software / RTOS

Versie 0.2 Het versturen via de NRF werkt nog niet helemaal omdat er per 4 bytes verstuurd moet worden. Wordt gefixt d.m.v. dynamic stuff!

Dependencies:   BufferedSerial

Dependents:   rtos_basic rtos_basic

Fork of mbed-rtos by mbed official

Files at this revision

API Documentation at this revision

Revision 51:318e02f48146, committed 2014-11-14

Comitter:
mbed_official
Date:
Fri Nov 14 12:00:41 2014 +0000
Parent:
50:64a5202c3676
Child:
52:02f5cf381388
Commit message:
Synchronized with git revision e53ae9e8408acf2f80fb1eb4f6c67a4beb828ab0

Full URL: https://github.com/mbedmicro/mbed/commit/e53ae9e8408acf2f80fb1eb4f6c67a4beb828ab0/

[RZ_A1H]Fixed a bug of CMSIS-RTOS RTX for Cortex-A9

Changed in this revision

rtx/TARGET_CORTEX_A/rt_HAL_CA.h Show annotated file Show diff for this revision Revisions of this file 
--- a/rtx/TARGET_CORTEX_A/rt_HAL_CA.h	Thu Nov 13 08:30:27 2014 +0000
+++ b/rtx/TARGET_CORTEX_A/rt_HAL_CA.h	Fri Nov 14 12:00:41 2014 +0000
@@ -108,7 +108,7 @@
 
 /* HW initialization needs to be done in os_tick_init (void) -RTX_Conf_CM.c-
  * OS_X_INIT enables the IRQ n in the GIC */
-#define OS_X_INIT(n) char *reg; \
+#define OS_X_INIT(n) volatile char *reg; \
                      reg = (char *)(&GICD_ICDIPR0 + n / 4); \
                      reg += n % 4; \
                      *reg = (char)0xff; \
@@ -163,7 +163,7 @@
 
 __inline static void rt_svc_init (void) {
   /* Register pendSV - through SGI */
-  char *reg;
+  volatile char *reg;
 
   reg = (char *)(&GICD_ICDIPR0 + SGI_PENDSV/4);
   reg += SGI_PENDSV % 4;