On Friday, 30 September 2022 14:59:07 CEST Philipp Eppelt wrote:
it's a complex system and a lot to take in and remember. I am certain your explanations and open communication about your projects is appreciated by other readers on this list as they are by me.
Pleased to be of service, I guess!
Keep asking. I'm keen to see what comes up next.
Well, I was going to ask what I should do about the x86 alignment issues. Clearly, the structure alignment regime is different from the RPC framework's message passing regime, unless I am doing something else that is wrong (very possible).
My workaround was to specify the opcode as occupying a l4_uint64_t, but actually only reading l4_umword_t to get the value, but this is merely a consequence of the message having its parameters aligned to 64-bit boundaries due to the presence of 64-bit values. Obviously, if both peers in the messaging use the RPC framework, they are insulated from any possible mismatch, but that doesn't apply to me.
Thanks once again for the guidance!
Paul