Hi
Run (*(volatile uint64 *)(0X08002432)) = (uint64)0x12345678; it will go to dabort,
Run (*(volatile uint32 *)(0X08002432)) = (uint64)0x12345678; It's running well.
Is it support 64 bits? How to solve it? My customer use many 64 bit pointer in their code.Thanks.