The following maccros can be defined for both partitions and kernel:
- POK_GENERATED_CODE: specify that the code compiled has been
generated from AADL so that we can restrict and avoid the use of some
functions. This maccro is automatically added by Ocarina when it generates
code from AADL models.
Copyright 2009 POK Team
