Re: Creating tasks and the l4_task_map function

Paul Boddie <[email protected]> Thu, 29 Sep 2022 23:54:04 +0200
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <1744953.z6pUTMZxBd@jason>
Sorry: another follow-up to myself!

On Thursday, 29 September 2022 22:15:06 CEST Paul Boddie wrote:
> 
> So this kind of explains some of my earlier confusion about what should
> happen on a 32-bit system. In fact, IA32 (x86) seems to be a special case,
> although I cannot immediately find the documentation that explains why the
> structure member alignment should be different from the rules applying to
> other architectures.

Here is something that might be relevant:

"System V Application Binary Interface Intel386 Architecture Processor 
Supplement Version 1.0"

https://uclibc.org/docs/psABI-i386.pdf

Specifically, table 2.1 on page 8 shows that the long long types are 64-bit 
types with 32-bit alignment.

Paul