Hi, Am 2014-10-19 23:48, schrieb Adam Lackorzynski:
The alignment fault address is different (80006ece) from those mentioned in the memcpy (0x80006e80-0x80006e88). Are you sure it is the memcpy?
Adam
oh sorry, that was a typo, I do printf()-debugging. #define STORE32N(buffer,offset,value) { printf("memcpy(%x, %x, 4);\n",&buffer[offset], &value); memcpy(&buffer[offset], &value, 4); printf("No error, yet???\n");} And output is the following: client | memcpy(80004e8e, 80004e3c, 4); KERNEL0: alignment error at 80004e8e (PC: 00077a00, SP: 80004ac0, FSR: 410801, PSR: 60000010) client | No signal handler found printf("No error, yet???\n") is not reached. Client is broken, then. Is there something special to consider, since running an l4re-App? Something like request_mem(), or editing a configuration file? ba_f