| Re: [pok-devel] Problem while developping a ARINC653 system for POK without AADL |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/pok-devel Archives
]
Le Thu, Jan 26, 2012 at 05:38:11PM -0500, Julien Savard :
> Thank you very much! It was indeed an under-estimated size for my partitions.
> The system does execute the partition's code now.
That is why using AADL is so useful: with just specifying the partition
size and the size of each memory segment, you have an appropriate
warning :-)
I am glad to see that your problem is fixed.
Best,