Kernel

The kernel is mapped with the AADL processor component. If the architecture is a partitioned architecture, it contains partitions runtime (AADL virtual processor components).