POK provides an AADL library for rapid prototyping of partitioned
embedded architectures. This library contains predefines components
associated with relevant properties to generate a partitioned architecture.
The file that contains this AADL library is located in
misc/aadl-library.aadl.
