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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
